@hackage typed-protocols1.2.1.0

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.2.1.0 Wed, 15 Apr 2026
- 1.2.0.0 Fri, 6 Feb 2026
- 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 (32)
- base >=4.12 && <4.23
- deepseq
- io-classes ^>=1.8 || ^>=1.9 || ^>=1.10
- 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).