ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)

Safe HaskellNone
LanguageHaskell98

Control.Effect.ReadOnceReader

Documentation

ask :: Reader `[a]` a Source

data Reader r a Source

Constructors

R 

Fields

runReader :: List r -> a
 

Instances

Cond [*] Reader 
Effect [*] Reader 
type Unit [*] Reader = [] * 
type AltInv [*] Reader s t = Split s t 
type Alt [*] Reader s t = (:++) s t 
type Plus [*] Reader s t = (:++) s t 
type Inv [*] Reader s t = Split s t 

data List l where Source

Constructors

Nil :: List [] 
Cons :: x -> List xs -> List (x : xs)