IdrisDoc: Effects.UpdateEffect

Effects.UpdateEffect

sig : Effect -> (ret : Type) -> (res_in : Type) -> (res_out : Type) -> Type