IdrisDoc
: Effects.DepEff
Index
Effects.DepEff
EffT
:
(
m
:
Type
->
Type
) -> (
x
:
Type
) -> (
es
:
List
EFFECT
) -> (
ce
:
x
->
List
EFFECT
) ->
Type
Eff
:
(
x
:
Type
) -> (
es
:
List
EFFECT
) -> (
ce
:
x
->
List
EFFECT
) ->
Type