IdrisDoc: Control.ST.Loop

Control.ST.Loop

pure : (result : ty) -> STransLoop m ty (out_fn result) out_fn
data STransLoop : (m : Type -> Type) -> (ty : Type) -> Resources -> (ty -> Resources) -> Type
Bind : STrans m a st1 st2_fn -> ((result : a) -> Inf (STransLoop m b (st2_fn result) st3_fn)) -> STransLoop m b st1 st3_fn
Pure : (result : ty) -> STransLoop m ty (out_fn result) out_fn
(>>=) : STrans m a st1 st2_fn -> ((result : a) -> Inf (STransLoop m b (st2_fn result) st3_fn)) -> STransLoop m b st1 st3_fn
Fixity
Left associative, precedence 1