@hackage typed-protocols1.1.0.1

A framework for strongly typed protocols

Categories
License
Apache-2.0
Maintainer
alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 1.1.0.1 Wed, 15 Oct 2025
- 1.1.0.0 Tue, 5 Aug 2025
- 1.0.0.0 Wed, 21 May 2025

Installation
In your cabal file:
Dependencies (29)
- base >=4.12 && <4.22
- io-classes ^>=1.8
- singletons ^>=3.0
Dependents (1)
@hackage/typed-protocols-doc

typed-protocols

A robust session type framework which supports protocol pipelining.

Haddocks are published here.

Public content

Duncan Coutts Haskell eXchange 2019 talk.

Monadic party workshop by Marcin Szamotulski (coot):

Talk at Haskell Love 2021 by Marcin Szamotulski (coot), slides.

An Agda implementation by Marcin Szamotulski (coot).