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