Agda.Utils.Function

trampoline

trampolineM

iterateUntil

iterateUntilM

iterate'

Iteration over Booleans.

applyWhen

applyUnless