Safe Haskell	Safe
Language	Haskell2010

Control.Eff.Operational.Example

Description

Synopsis

data Jail a where
- Print :: String -> Jail ()
- Scan :: Jail [Char]
prog :: forall (r :: [Type -> Type]). Member (Program Jail) r => Eff r ()
adventIO :: forall (r :: [Type -> Type]) a. Lifted IO r => Jail a -> Eff r a
adventPure :: forall (r :: [Type -> Type]) a. '[Writer String, State [String]] <:: r => Jail a -> Eff r a

Documentation

data Jail a where Source #

Define data using GADTs.

Constructors

Print :: String -> Jail ()
Scan :: Jail [Char]

prog :: forall (r :: [Type -> Type]). Member (Program Jail) r => Eff r () Source #

adventIO :: forall (r :: [Type -> Type]) a. Lifted IO r => Jail a -> Eff r a Source #

Then, implements interpreters from the data to effects.