extensible-effects-5.0.0.1: An Alternative to Monad Transformers

Control.Eff.Operational.Example

Description

Example usage of Control.Eff.Operational.

data Jail a where Source #

Define data using GADTs.

Constructors

prog :: Member (Program Jail) r => Eff r () Source #

adventIO :: Lifted IO r => Jail a -> Eff r a Source #

Then, implements interpreters from the data to effects.

adventPure :: [Writer String, State [String]] <:: r => Jail a -> Eff r a Source #