extensible-effects-1.11.0.4: An Alternative to Monad Transformers

Safe HaskellSafe
LanguageHaskell2010

Control.Eff.Operational.Example

Description

Example usage of Control.Eff.Operational.

Synopsis

Documentation

data Jail a where Source

Define data using GADTs.

Constructors

Print :: String -> Jail () 
Scan :: Jail String 

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

adventIO :: (Member (Lift IO) r, SetMember Lift (Lift IO) r) => Jail a -> Eff r a Source

Then, implements interpreters from the data to effects.