IdrisDoc: Effect.Monad

Effect.Monad

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