[]→boolean, []→⊤
Source: /avail/Avail/Foundation/Control Structures
Categories: Control Structures, Loops
Basic conditional loop. Invoke predicate. If predicate answers false, then invoke action and repeat.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | predicate | []→boolean | The function that guards repeated application of action. | |
2 | action | []→⊤ | The function to apply whenever predicate answers false. | |
Returns | ⊤ |