Control.Eff.Operational.Example

Example usage of Control.Eff.Operational.

Documentation

data Jail a where

Define data using GADTs.

Constructors

Print :: String -> Jail ()

Scan :: Jail String

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

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

Then, implements interpreters from the data to effects.

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