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