IsomorphismEnum
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