effect-sessions-1.0: Sessions and session types for Concurrent Haskell

effect-sessions-1.0: Sessions and session types for Concurrent Haskell

Provides an implementation of sessions ontop of Concurrent Haskell, where session types are effect types via effect-monad.

Modules

Control
- Control.Effect
  - Control.Effect.Sessions
    - Control.Effect.Sessions.Operations
    - Control.Effect.Sessions.Process
Data
- Type
  - Data.Type.FiniteMap
  - Data.Type.Set