IdrisDoc
: Effects.NoUpdateEffect
Index
Effects.NoUpdateEffect
sig
:
Effect
-> (
ret
:
Type
) -> (
resource
:
Type
) ->
Type