IdrisDoc: Effects.DepUpdateEffect

Effects.DepUpdateEffect

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