IdrisDoc
: Effects.Env
Index
Effects.Env
data
Env
:
(
m
:
Type
->
Type
) ->
List
EFFECT
->
Type
Nil
:
Env
m
[]
(::)
:
Handler
eff
m
=>
a
->
Env
m
xs
->
Env
m
(
MkEff
a
eff
::
xs
)
Fixity
Left associative, precedence 7