ixmonad-0.57: Embeds effect systems into Haskell using parameteric effect monads

Safe HaskellNone
LanguageHaskell98

Control.Effect.ReadOnceReader

Synopsis

Documentation

ask :: Reader `[a]` a Source

ask for a value of type a

data Reader r a Source

Provides a weak reader monad, which can only read an item once. Provides an effect system as a list of the items that have been read

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)