IdrisDoc: Effect.Monad

Effect.Monad

MonadEff : List EFFECT -> Type -> Type
data MonadEffT : List EFFECT -> (Type -> Type) -> Type -> Type
MkMonadEffT : EffM m a xs (\v => xs) -> MonadEffT xs m a
monadEffT : EffM m a xs (\v => xs) -> MonadEffT xs m a