Contents
- These <A, B>
- Both (A First, B Second)
- Match <C> (Func<A, C> This, Func<B, C> That, Func<A, B, C> Both)
- ToTuple (A x, B y)
- Map <C> (Func<B, C> f)
- BiMap <C, D> (Func<A, C> This, Func<B, D> That)
- These <A, B>
- Match <C> (Func<A, C> This, Func<B, C> That, Func<A, B, C> Both)
- ToTuple (A x, B y)
- BiMap <C, D> (Func<A, C> This, Func<B, D> That)
- Map <C> (Func<B, C> f)
- Traverse <F, C> (Func<B, K<F, C>> f)
- Merge <C> (Func<A, C> This, Func<B, C> That, Func<C, C, C> Both)
- These
- This <A, B> (A value)
- That <A, B> (B value)
- Both <A, B> (A first, B second)
- merge <A> (Func<A, A, A> f, These<A, A> these)
- partition <F, A, B> ( K<F, These<A, B>> theses)
- partition2 <F, A, B> ( K<F, These<A, B>> theses)
- These <A, B>
- That (B Value)
- Match <C> (Func<A, C> This, Func<B, C> That, Func<A, B, C> Both)
- ToTuple (A x, B y)
- Map <C> (Func<B, C> f)
- BiMap <C, D> (Func<A, C> This, Func<B, D> That)
- These <A, B>
- This (A Value)
Sub modules
| Extensions |
| Operators |
| Prelude |
| Trait |
Methods
method C Match <C> (Func<A, C> This, Func<B, C> That, Func<A, B, C> Both) Source #
Case analysis for the These type
Parameters
| type | C | Result type |
| param | This | Match for |
| param | That | Match for |
| param | Both | Match for |
| returns | Result of running either | |
method (A, B) ToTuple (A x, B y) Source #
Takes two default values and produces a tuple
Parameters
| param | x | Default value A |
| param | y | Default value B |
| returns | Tuple | |
method These<C, D> BiMap <C, D> (Func<A, C> This, Func<B, D> That) Source #
Bi-functor map operation
Parameters
| type | C | Resulting |
| type | D | Resulting |
| param | This | Mapping of |
| param | That | Mapping of |
| returns | ||
method These<A, C> Map <C> (Func<B, C> f) Source #
Functor map operation
Parameters
| param | f | Mapping function |
Methods
method These<A, B> This <A, B> (A value) Source #
This constructor
Parameters
| param | value | Value to set |
| returns | Constructed | |
method These<A, B> That <A, B> (B value) Source #
That constructor
Parameters
| param | value | Value to set |
| returns | Constructed | |
method These<A, B> Both <A, B> (A first, B second) Source #
Both constructor
Parameters
| param | first | First value to set |
| param | second | Second value to set |
| returns | Constructed | |
method A merge <A> (Func<A, A, A> f, These<A, A> these) Source #
Coalesce with the provided operation
Parameters
| param | f | Coalesce operation |
| returns | Coalesced value | |
method (Seq<A> This, Seq<B> That, Seq<(A, B)> Both) partition <F, A, B> ( K<F, These<A, B>> theses) Source #
Select each constructor and partition them into separate lists.
Parameters
| type | F | Foldable structure |
| param | theses | Selection |
| returns | Partitioned sequences | |
method (Seq<A> This, Seq<B> That) partition2 <F, A, B> ( K<F, These<A, B>> theses) Source #
Select each constructor and partition them into separate lists.
Parameters
| type | F | Foldable structure |
| param | theses | Selection |
| returns | Partitioned sequences | |