Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Moduleextensible-effects-5.0.0.1Haskell2010

Control.Eff.Operational.Example

Example usage of Control.Eff.Operational.

Synopsis

data Jail
value prog
value adventIO
value adventPure

Packageextensible-effects-5.0.0.1
Exports4
LanguageHaskell2010
LicenceMIT
SourceExample.hs

datadata Jail a where

Define data using GADTs.

Constructors

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

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

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

Then, implements interpreters from the data to effects.

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