IdrisDoc
: Effect.Monad
Index
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