booleanInstance
Type members
Value members
Concrete methods
Inherited methods
Produce a state value that executes the predecessor (pred
) on each spin and executing the given function on the current value. This is useful to implement decremental looping. Evaluating the state value requires a beginning to decrement from.
Produce a state value that executes the predecessor (pred
) on each spin and executing the given function on the current value. This is useful to implement decremental looping. Evaluating the state value requires a beginning to decrement from.
- Value Params
- f
The function to execute on each spin of the state value.
- Inherited from
- Enum
Produce a value that starts at the maximum (if it exists) and decrements through a state value with the given mapping function. This is useful to implement decremental looping.
Produce a value that starts at the maximum (if it exists) and decrements through a state value with the given mapping function. This is useful to implement decremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The mapping function.
- Inherited from
- Enum
Produce a value that starts at the maximum (if it exists) and decrements through a state value with the given binding function. This is useful to implement decremental looping.
Produce a value that starts at the maximum (if it exists) and decrements through a state value with the given binding function. This is useful to implement decremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The binding function.
- Inherited from
- Enum
Produce a value that starts at zero (Monoid.zero
) and decrements through a state value with the given mapping function. This is useful to implement decremental looping.
Produce a value that starts at zero (Monoid.zero
) and decrements through a state value with the given mapping function. This is useful to implement decremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The mapping function.
- m
The implementation of the zero function from which to start.
- Inherited from
- Enum
Produce a value that starts at zero (Monoid.zero
) and decrements through a state value with the given binding function. This is useful to implement decremental looping.
Produce a value that starts at zero (Monoid.zero
) and decrements through a state value with the given binding function. This is useful to implement decremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The binding function.
- m
The implementation of the zero function from which to start.
- Inherited from
- Enum
Moves to the predecessor, unless at the minimum.
Moves to the predecessor, unless at the minimum.
- Inherited from
- Enum
Produce a state value that executes the successor (succ
) on each spin and executing the given function on the current value. This is useful to implement incremental looping. Evaluating the state value requires a beginning to increment from.
Produce a state value that executes the successor (succ
) on each spin and executing the given function on the current value. This is useful to implement incremental looping. Evaluating the state value requires a beginning to increment from.
- Value Params
- f
The function to execute on each spin of the state value.
- Inherited from
- Enum
Produce a value that starts at the minimum (if it exists) and increments through a state value with the given mapping function. This is useful to implement incremental looping.
Produce a value that starts at the minimum (if it exists) and increments through a state value with the given mapping function. This is useful to implement incremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The mapping function.
- Inherited from
- Enum
Produce a value that starts at the minimum (if it exists) and increments through a state value with the given binding function. This is useful to implement incremental looping.
Produce a value that starts at the minimum (if it exists) and increments through a state value with the given binding function. This is useful to implement incremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The binding function.
- Inherited from
- Enum
Produce a value that starts at zero (Monoid.zero
) and increments through a state value with the given mapping function. This is useful to implement incremental looping.
Produce a value that starts at zero (Monoid.zero
) and increments through a state value with the given mapping function. This is useful to implement incremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The mapping function.
- m
The implementation of the zero function from which to start.
- Inherited from
- Enum
Produce a value that starts at zero (Monoid.zero
) and increments through a state value with the given binding function. This is useful to implement incremental looping.
Produce a value that starts at zero (Monoid.zero
) and increments through a state value with the given binding function. This is useful to implement incremental looping.
- Value Params
- f
The function to execute on each spin of the state value.
- k
The binding function.
- m
The implementation of the zero function from which to start.
- Inherited from
- Enum
Moves to the successor, unless at the maximum.
Moves to the successor, unless at the maximum.
- Inherited from
- Enum