IdrisDoc: Effects.NoResourceEffect

Effects.NoResourceEffect

sig : Effect -> Type -> Type