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