IdrisDoc: Effects.NoUpdateEffect

Effects.NoUpdateEffect

sig : Effect -> (ret : Type) -> (resource : Type) -> Type