IdrisDoc: Effects.Env

Effects.Env

data Env : (m : Type -> Type) -> List EFFECT -> Type
Nil : Env m []
(::) : Handler eff m => a -> Env m xs -> Env m (MkEff a eff :: xs)
Fixity
Left associative, precedence 7