boolean, nullary procedure
Source: /avail/Avail/Foundation/Early Conditionals
Categories: Conditionals
Declare the one-branch conditional evaluation method that does nothing. It will be overridden for a true first argument.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | predicate | boolean | The boolean that will be tested. | |
| 2 | trueFunction | nullary procedure | What to execute if the predicate is true, which it isn't. | |
| Returns | ⊤ | |||
boolean, nullary procedure
Source: /avail/Avail/Foundation/Early Conditionals
Categories: Conditionals
Define the one-branch conditional evaluation method for a true condition.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | predicate | boolean | The boolean, which in this case is true. | |
| 2 | trueFunction | nullary procedure | What to execute if the predicate is true, which it is. | |
| Returns | ⊤ | |||