IdrisDoc: Control.Partial

Control.Partial

Control structures that are fundamentally partial

until : (p : a -> Bool) -> (f : a -> a) -> (v : a) -> a

Repeatedly apply f to v until p is True.

p

the predicate to wait for

f

the function to repeatedly apply

v

the starting value