typed-protocols:examples

typed-protocols:examples

A robust session type framework which supports protocol pipelining. Haddocks are published here

Modules

typed-protocols:examples-1.0.0.0

Network
Submodules
- TypedProtocol
  Submodules
  - Network.TypedProtocol.Channel
  - Driver
    Submodules
    Network.TypedProtocol.Driver.Simple
  - PingPong
    Submodules
    Network.TypedProtocol.PingPong.Client
    Network.TypedProtocol.PingPong.Codec
    Submodules
    Network.TypedProtocol.PingPong.Codec.CBOR
    Network.TypedProtocol.PingPong.Examples
    Network.TypedProtocol.PingPong.Server
    Network.TypedProtocol.PingPong.Type
  - ReqResp
    Submodules
    Network.TypedProtocol.ReqResp.Client
    Network.TypedProtocol.ReqResp.Codec
    Submodules
    Network.TypedProtocol.ReqResp.Codec.CBOR
    Network.TypedProtocol.ReqResp.Examples
    Network.TypedProtocol.ReqResp.Server
    Network.TypedProtocol.ReqResp.Type
  - ReqResp2
    Submodules
    Network.TypedProtocol.ReqResp2.Client
    Network.TypedProtocol.ReqResp2.Type
  - Stateful
    Submodules
    ReqResp
    Submodules
    Network.TypedProtocol.Stateful.ReqResp.Client
    Network.TypedProtocol.Stateful.ReqResp.Codec
    Network.TypedProtocol.Stateful.ReqResp.Examples
    Network.TypedProtocol.Stateful.ReqResp.Server
    Network.TypedProtocol.Stateful.ReqResp.Type
  - Trans
    Submodules
    Network.TypedProtocol.Trans.Wedge