Contents
- BifunctorExtensions
- BiMap <F, L, A, M, B> (this K<F, L, A> fab, Func<L, M> First, Func<A, B> Second)
- BiMap <F, L, M, N, A, B, C> ( this K<F, L, A> ma, Func<L, M, N> First, Func<A, B, C> Second)
- BiMap <F, L, M, N, O, A, B, C, D> ( this K<F, L, A> ma, Func<L, M, N, O> First, Func<A, B, C, D> Second)
- BiMap <F, L, M, N, O, P, A, B, C, D, E> ( this K<F, L, A> ma, Func<L, M, N, O, P> First, Func<A, B, C, D, E> Second)
- BiMap <Fnctr, L, M, N, O, P, Q, A, B, C, D, E, F> ( this K<Fnctr, L, A> ma, Func<L, M, N, O, P, Q> First, Func<A, B, C, D, E, F> Second)
- MapFirst <F, L, A, M> (this K<F, L, A> fab, Func<L, M> first)
- MapFirst <F, L, A, M, N> (this K<F, L, A> fab, Func<L, M, N> first)
- MapFirst <F, L, A, M, N, O> (this K<F, L, A> fab, Func<L, M, N, O> first)
- MapFirst <F, L, A, M, N, O, P> (this K<F, L, A> fab, Func<L, M, N, O, P> first)
- MapFirst <F, L, A, M, N, O, P, Q> (this K<F, L, A> fab, Func<L, M, N, O, P, Q> first)
- MapFirst <F, L, A, M> (this Func<L, M> first, K<F, L, A> fab)
- MapFirst <F, L, A, M, N> (this Func<L, M, N> first, K<F, L, A> fab)
- MapFirst <F, L, A, M, N, O> (this Func<L, M, N, O> first, K<F, L, A> fab)
- MapFirst <F, L, A, M, N, O, P> (this Func<L, M, N, O, P> first, K<F, L, A> fab)
- MapFirst <F, L, A, M, N, O, P, Q> (this Func<L, M, N, O, P, Q> first, K<F, L, A> fab)
- MapSecond <F, L, A, B> (this K<F, L, A> fab, Func<A, B> second)
- MapSecond <F, L, A, B, C> (this K<F, L, A> fab, Func<A, B, C> second)
- MapSecond <F, L, A, B, C, D> (this K<F, L, A> fab, Func<A, B, C, D> second)
- MapSecond <F, L, A, B, C, D, E> (this K<F, L, A> fab, Func<A, B, C, D, E> second)
- MapSecond <BF, L, A, B, C, D, E, F> (this K<BF, L, A> fab, Func<A, B, C, D, E, F> second)
- MapSecond <F, L, A, B> (this Func<A, B> second, K<F, L, A> fab)
- MapSecond <F, L, A, B, C> (this Func<A, B, C> second, K<F, L, A> fab)
- MapSecond <F, L, A, B, C, D> (this Func<A, B, C, D> second, K<F, L, A> fab)
- MapSecond <F, L, A, B, C, D, E> (this Func<A, B, C, D, E> second, K<F, L, A> fab)
- MapSecond <BF, L, A, B, C, D, E, F> (this Func<A, B, C, D, E, F> second, K<BF, L, A> fab)
- Bifunctor
- bimap <F, P, A, Q, B> (Func<P, Q> first, Func<A, B> second, K<F, P, A> fab)
- first <F, P, A, Q> (Func<P, Q> first, K<F, P, A> fab)
- second <F, P, A, B> (Func<A, B> second, K<F, P, A> fab)
- Bifunctor <F>
class BifunctorExtensions Source #
Functor module
Methods
method K<F, M, B> BiMap <F, L, A, M, B> (this K<F, L, A> fab, Func<L, M> First, Func<A, B> Second) Source #
Functor bimap. Maps all contained values of A to values of B and every value of L to M
Parameters
| type | F | Bifunctor trait |
| param | First | Mapping function |
| param | Second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, N>, Func<B, C>> BiMap <F, L, M, N, A, B, C> ( this K<F, L, A> ma, Func<L, M, N> First, Func<A, B, C> Second) Source #
Functor bimap (with function currying)
method K<F, Func<M, Func<N, O>>, Func<B, Func<C, D>>> BiMap <F, L, M, N, O, A, B, C, D> ( this K<F, L, A> ma, Func<L, M, N, O> First, Func<A, B, C, D> Second) Source #
Functor bimap (with function currying)
method K<F, Func<M, Func<N, Func<O, P>>>, Func<B, Func<C, Func<D, E>>>> BiMap <F, L, M, N, O, P, A, B, C, D, E> ( this K<F, L, A> ma, Func<L, M, N, O, P> First, Func<A, B, C, D, E> Second) Source #
Functor bimap (with function currying)
method K<Fnctr, Func<M, Func<N, Func<O, Func<P, Q>>>>, Func<B, Func<C, Func<D, Func<E, F>>>>> BiMap <Fnctr, L, M, N, O, P, Q, A, B, C, D, E, F> ( this K<Fnctr, L, A> ma, Func<L, M, N, O, P, Q> First, Func<A, B, C, D, E, F> Second) Source #
Functor bimap (with function currying)
method K<F, M, A> MapFirst <F, L, A, M> (this K<F, L, A> fab, Func<L, M> first) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, N>, A> MapFirst <F, L, A, M, N> (this K<F, L, A> fab, Func<L, M, N> first) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, O>>, A> MapFirst <F, L, A, M, N, O> (this K<F, L, A> fab, Func<L, M, N, O> first) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, Func<O, P>>>, A> MapFirst <F, L, A, M, N, O, P> (this K<F, L, A> fab, Func<L, M, N, O, P> first) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, Func<O, Func<P, Q>>>>, A> MapFirst <F, L, A, M, N, O, P, Q> (this K<F, L, A> fab, Func<L, M, N, O, P, Q> first) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, M, A> MapFirst <F, L, A, M> (this Func<L, M> first, K<F, L, A> fab) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, N>, A> MapFirst <F, L, A, M, N> (this Func<L, M, N> first, K<F, L, A> fab) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, O>>, A> MapFirst <F, L, A, M, N, O> (this Func<L, M, N, O> first, K<F, L, A> fab) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, Func<O, P>>>, A> MapFirst <F, L, A, M, N, O, P> (this Func<L, M, N, O, P> first, K<F, L, A> fab) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, Func<M, Func<N, Func<O, Func<P, Q>>>>, A> MapFirst <F, L, A, M, N, O, P, Q> (this Func<L, M, N, O, P, Q> first, K<F, L, A> fab) Source #
Map covariantly over the first argument.
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, B> MapSecond <F, L, A, B> (this K<F, L, A> fab, Func<A, B> second) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, C>> MapSecond <F, L, A, B, C> (this K<F, L, A> fab, Func<A, B, C> second) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, Func<C, D>>> MapSecond <F, L, A, B, C, D> (this K<F, L, A> fab, Func<A, B, C, D> second) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, Func<C, Func<D, E>>>> MapSecond <F, L, A, B, C, D, E> (this K<F, L, A> fab, Func<A, B, C, D, E> second) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<BF, L, Func<B, Func<C, Func<D, Func<E, F>>>>> MapSecond <BF, L, A, B, C, D, E, F> (this K<BF, L, A> fab, Func<A, B, C, D, E, F> second) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, B> MapSecond <F, L, A, B> (this Func<A, B> second, K<F, L, A> fab) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, C>> MapSecond <F, L, A, B, C> (this Func<A, B, C> second, K<F, L, A> fab) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, Func<C, D>>> MapSecond <F, L, A, B, C, D> (this Func<A, B, C, D> second, K<F, L, A> fab) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<F, L, Func<B, Func<C, Func<D, E>>>> MapSecond <F, L, A, B, C, D, E> (this Func<A, B, C, D, E> second, K<F, L, A> fab) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
method K<BF, L, Func<B, Func<C, Func<D, Func<E, F>>>>> MapSecond <BF, L, A, B, C, D, E, F> (this Func<A, B, C, D, E, F> second, K<BF, L, A> fab) Source #
Map covariantly over the second argument.
Parameters
| type | F | Bifunctor trait |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
Functor module
Methods
method K<F, Q, B> bimap <F, P, A, Q, B> (Func<P, Q> first, Func<A, B> second, K<F, P, A> fab) Source #
Functor bimap. Maps all contained values of A to values of X and every value of B to Y
Parameters
| type | F | Bifunctor trait |
| param | first | Mapping function |
| param | second | Mapping function |
| param | fab | Bifunctor structure |
| returns | Mapped bifunctor | |
interface Bifunctor <F> Source #
Bi-functor
Parameters
| type | F | Bi-functor self-type |
Methods
method K<F, M, B> BiMap <L, A, M, B> (Func<L, M> first, Func<A, B> second, K<F, L, A> fab) Source #
Functor bimap. Maps all contained values of L to values of M and every value of A to B
Parameters
| type | F | Functor trait |
| param | first | Mapping function |
| param | second | Mapping function |
| param | fab | Functor structure |
| returns | Mapped functor | |