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.
Packages
typed-protocols-1.0.0.0
- Network
typed-protocols:cborg-1.0.0.0
- Network
- TypedProtocol
typed-protocols:examples-1.0.0.0
- Network
- TypedProtocol
- Network.TypedProtocol.Channel
- Driver
- PingPong
- ReqResp
- ReqResp2
- Stateful
- Trans
- TypedProtocol
typed-protocols:stateful-1.0.0.0
- Network
typed-protocols:stateful-cborg-1.0.0.0
- Network
- TypedProtocol
- Stateful
- TypedProtocol
typed-protocols-doc-0.2.0.0
- Network