Executes a functional while loop.
Arguments
- init
(
list())
Named list of initial state values.- cond
(
function)
Condition function returning a scalar boolean. Receives the state values as arguments.- body
(
function)
Body function returning the updated state as a named list with the same structure asinit.
See also
nvl_while() for the underlying primitive.