IdrisDoc
: Effects.EffElem
Index
Effects.EffElem
data
EffElem
:
Effect
->
Type
->
List
EFFECT
->
Type
Here
:
EffElem
x
a
(
MkEff
a
x
::
xs
)
There
:
EffElem
x
a
xs
->
EffElem
x
a
(
y
::
xs
)