Contents
- Reduced <A> (bool Continue, A Value)
- Reduced
- Continue <A> (A value)
- Done <A> (A value)
- Unit
- ContinueIO <A> (A value)
- DoneIO <A> (A value)
- UnitAsync
- ReducedM <M, A> (bool Continue, K<M, A> Value)
- ReducedM
- Continue <M, A> (A value)
- Continue <M, A> (K<M, A> ma)
- Done <M, A> (A value)
- Done <M, A> (K<M, A> ma)
- Unit <M> ()
- ContinueAsync <M, A> (A value)
- ContinueAsync <M, A> (K<M, A> ma)
- DoneAsync <M, A> (A value)
- DoneAsync <M, A> (K<M, A> ma)
- UnitAsync <M> ()
- Reducer <in A, S>
- ReducerIO <in A, S>
- ReducerM <in M, in A, S>
Sub modules
| Transducer |
| TransducerM |
Reduced〈A〉 constructors
Fields
Methods
method Reduced<A> Continue <A> (A value) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
method Reduced<A> Done <A> (A value) Source #
Return a result and indicate that we're done and don't want to process any more
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
method IO<Reduced<A>> ContinueIO <A> (A value) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
Reduced〈A〉 constructors
Methods
method ReducedM<M, A> Continue <M, A> (A value) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
method ReducedM<M, A> Continue <M, A> (K<M, A> ma) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | ma | Result |
| returns |
| |
method ReducedM<M, A> Done <M, A> (A value) Source #
Return a result and indicate that we're done and don't want to process any more
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
method ReducedM<M, A> Done <M, A> (K<M, A> ma) Source #
Return a result and indicate that we're done and don't want to process any more
Parameters
| type | A | Result value type |
| param | ma | Result |
| returns |
| |
method ReducedM<M, Unit> Unit <M> () Source #
ReducedM〈A〉 in a continue state
method ValueTask<ReducedM<M, A>> ContinueAsync <M, A> (A value) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |
method ValueTask<ReducedM<M, A>> ContinueAsync <M, A> (K<M, A> ma) Source #
Return a result and indicate that we're happy to continue
Parameters
| type | A | Result value type |
| param | ma | Result |
| returns |
| |
method ValueTask<ReducedM<M, A>> DoneAsync <M, A> (A value) Source #
Return a result and indicate that we're done and don't want to process any more
Parameters
| type | A | Result value type |
| param | value | Result |
| returns |
| |