@hackage / typed-protocols

A framework for strongly typed protocols

Latest1.2.1.0

Metadata

Last updated 15 Apr 2026, by coot
License Apache-2.0
Maintained by: alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
Lottery factor: 1

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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).