Control.Eff.Reader

Definitions

data ReaderL : k -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

Ask : ReaderL lbl env env

Reader : Type -> Type -> Type

Totality: total
Visibility: public export

askAt : (0 lbl : k) -> Has (ReaderL lbl env) fs => Eff fs env

Totality: total
Visibility: export

ask : Has (Reader env) fs => Eff fs env

Totality: total
Visibility: export

asksAt : (0 lbl : k) -> Has (ReaderL lbl env) fs => (env -> a) -> Eff fs a

Totality: total
Visibility: export

asks : Has (Reader env) fs => (env -> a) -> Eff fs a

Totality: total
Visibility: export

handleReader : {0 m : Type -> Type} -> m env -> ReaderL lbl env a -> m a

Totality: total
Visibility: export

runReaderAt : (0 lbl : k) -> {auto {conArg:2100} : Has (ReaderL lbl env) fs} -> env -> Eff fs t -> Eff (fs - ReaderL lbl env) t

Totality: total
Visibility: export

runReader : {auto {conArg:2169} : Has (Reader env) fs} -> env -> Eff fs t -> Eff (fs - Reader env) t

Totality: total
Visibility: export