Contents
- Prelude
- pure <F, A> (A value)
- applyM <M, A, B> (K<M, Func<A, K<M, B>>> mf, K<M, A> ma)
- apply <AF, A, B> (K<AF, Func<A, B>> mf, K<AF, A> ma)
- apply <AF, A, B, C> (K<AF, Func<A, B, C>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D> (K<AF, Func<A, B, C, D>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E> (K<AF, Func<A, B, C, D, E>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F> (K<AF, Func<A, B, C, D, E, F>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F, G> (K<AF, Func<A, B, C, D, E, F, G>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F, G, H> (K<AF, Func<A, B, C, D, E, F, G, H>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F, G, H, I> (K<AF, Func<A, B, C, D, E, F, G, H, I>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F, G, H, I, J> (K<AF, Func<A, B, C, D, E, F, G, H, I, J>> mf, K<AF, A> ma)
- apply <AF, A, B, C, D, E, F, G, H, I, J, K> (K<AF, Func<A, B, C, D, E, F, G, H, I, J, K>> mf, K<AF, A> ma)
- action <F, A, B> (K<F, A> ma, K<F, B> mb)
- actions <F, A> (IterableNE<K<F, A>> ma)
- zip <F, A, B> ( (K<F, A> First, K<F, B> Second) tuple)
- zip <F, A, B, C> ( (K<F, A> First, K<F, B> Second, K<F, C> Third) tuple)
- zip <F, A, B, C, D> ( (K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth) tuple)
- zip <F, A, B, C, D, E> ( (K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth, K<F, E> Fifth) tuple)
- zip <F, A, B> ( K<F, A> First, K<F, B> Second)
- zip <F, A, B, C> ( K<F, A> First, K<F, B> Second, K<F, C> Third)
- zip <F, A, B, C, D> ( K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth)
- zip <F, A, B, C, D, E> ( K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth, K<F, E> Fifth)
Methods
method K<F, A> pure <F, A> (A value) Source #
Construct an applicative structure from a pure value
Parameters
| type | A | Bound value type |
| param | value | Pure value to lift into the applicative structure |
| returns | Applicative structure | |
method K<AF, B> apply <AF, A, B> (K<AF, Func<A, B>> mf, K<AF, A> ma) Source #
method K<AF, Func<B, C>> apply <AF, A, B, C> (K<AF, Func<A, B, C>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, D>>> apply <AF, A, B, C, D> (K<AF, Func<A, B, C, D>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, E>>>> apply <AF, A, B, C, D, E> (K<AF, Func<A, B, C, D, E>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, F>>>>> apply <AF, A, B, C, D, E, F> (K<AF, Func<A, B, C, D, E, F>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, Func<F, G>>>>>> apply <AF, A, B, C, D, E, F, G> (K<AF, Func<A, B, C, D, E, F, G>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, Func<F, Func<G, H>>>>>>> apply <AF, A, B, C, D, E, F, G, H> (K<AF, Func<A, B, C, D, E, F, G, H>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, Func<F, Func<G, Func<H, I>>>>>>>> apply <AF, A, B, C, D, E, F, G, H, I> (K<AF, Func<A, B, C, D, E, F, G, H, I>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, Func<F, Func<G, Func<H, Func<I, J>>>>>>>>> apply <AF, A, B, C, D, E, F, G, H, I, J> (K<AF, Func<A, B, C, D, E, F, G, H, I, J>> mf, K<AF, A> ma) Source #
method K<AF, Func<B,Func<C, Func<D, Func<E, Func<F, Func<G, Func<H, Func<I, Func<J, K>>>>>>>>>> apply <AF, A, B, C, D, E, F, G, H, I, J, K> (K<AF, Func<A, B, C, D, E, F, G, H, I, J, K>> mf, K<AF, A> ma) Source #
method K<F, (A First, B Second)> zip <F, A, B> ( (K<F, A> First, K<F, B> Second) tuple) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| param | tuple | Tuple of applicatives to run |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third)> zip <F, A, B, C> ( (K<F, A> First, K<F, B> Second, K<F, C> Third) tuple) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| param | tuple | Tuple of applicatives to run |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third, D Fourth)> zip <F, A, B, C, D> ( (K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth) tuple) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| type | D | Fourth applicative's bound value type |
| param | tuple | Tuple of applicatives to run |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third, D Fourth, E Fifth)> zip <F, A, B, C, D, E> ( (K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth, K<F, E> Fifth) tuple) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| type | D | Fourth applicative's bound value type |
| param | tuple | Tuple of applicatives to run |
| returns | Zipped applicative | |
method K<F, (A First, B Second)> zip <F, A, B> ( K<F, A> First, K<F, B> Second) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| param | First | First applicative |
| param | Second | Second applicative |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third)> zip <F, A, B, C> ( K<F, A> First, K<F, B> Second, K<F, C> Third) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| param | First | First applicative |
| param | Second | Second applicative |
| param | Third | Third applicative |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third, D Fourth)> zip <F, A, B, C, D> ( K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| type | D | Fourth applicative's bound value type |
| param | First | First applicative |
| param | Second | Second applicative |
| param | Third | Third applicative |
| param | Fourth | Fourth applicative |
| returns | Zipped applicative | |
method K<F, (A First, B Second, C Third, D Fourth, E Fifth)> zip <F, A, B, C, D, E> ( K<F, A> First, K<F, B> Second, K<F, C> Third, K<F, D> Fourth, K<F, E> Fifth) Source #
Zips applicatives into a tuple
Parameters
| type | F | Applicative trait type |
| type | A | First applicative's bound value type |
| type | B | Second applicative's bound value type |
| type | C | Third applicative's bound value type |
| type | D | Fourth applicative's bound value type |
| param | First | First applicative |
| param | Second | Second applicative |
| param | Third | Third applicative |
| param | Fourth | Fourth applicative |
| param | Fifth | Fifth applicative |
| returns | Zipped applicative | |