IdrisDoc
: Effects.NoResourceEffect
Index
Effects.NoResourceEffect
sig
:
Effect
->
Type
->
Type