boolean, []→⊤
Source: /avail/Avail/Foundation/Control Structures
Categories: Control Structures, Conditionals
Given a predicate value and a function, invoke the specified function only if the predicate is false. This is the inverse of If_then_.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | predicate | boolean | A predicate value. | |
| 2 | action | []→⊤ | The function to invoke if predicate is false. | |
| Returns | ⊤ | |||