IdrisDoc
: Effects.DepUpdateEffect
Index
Effects.DepUpdateEffect
sig
:
Effect
-> (
ret
:
Type
) -> (
res_in
:
Type
) -> (
res_out
:
ret
->
Type
) ->
Type