IdrisDoc
: Effect.Trans
Index
Effect.Trans
lift
:
m
a
->
Eff
a
[
TRANS
m
]
data
Trans
:
(
Type
->
Type
) ->
Effect
Lift
:
m
a
->
sig
(
Trans
m
)
a
TRANS
:
(
Type
->
Type
) ->
EFFECT