Struct Tuple2Brand 

pub struct Tuple2Brand;

Brand for (First, Second), with neither First nor Second applied.

Trait Implementations

impl Bifoldable for Tuple2Brand

fn bi_fold_right<'a, FnBrand: CloneFn + 'a, A: 'a + Clone, B: 'a + Clone, C: 'a>( f: impl Fn(A, C) -> C + 'a, g: impl Fn(B, C) -> C + 'a, z: C, p: <Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> C

Folds a tuple using two step functions, right-associatively.

Applies f to the first value and g to the second value, folding (a, b) as f(a, g(b, z)).

Type Signature

forall A B C. CloneFn FnBrand => ((A, C) -> C, (B, C) -> C, C, Tuple2 A B) -> C

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the first element.
• B: The type of the second element.
• C: The accumulator type.

Parameters

• f: The step function applied to the first element.
• g: The step function applied to the second element.
• z: The initial accumulator.
• p: The tuple to fold.

Returns

f(a, g(b, z)).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

assert_eq!(
	explicit::bi_fold_right::<RcFnBrand, Tuple2Brand, _, _, _, _, _>(
		(|a: i32, acc| acc - a, |b: i32, acc| acc + b),
		0,
		(3, 5),
	),
	2
);

fn bi_fold_left<'a, FnBrand: CloneFn + 'a, A: 'a + Clone, B: 'a + Clone, C: 'a>( f: impl Fn(C, A) -> C + 'a, g: impl Fn(C, B) -> C + 'a, z: C, p: <Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> C

Folds a tuple using two step functions, left-associatively.

Applies f to the first value and g to the second value, folding (a, b) as g(f(z, a), b).

Type Signature

forall A B C. CloneFn FnBrand => ((C, A) -> C, (C, B) -> C, C, Tuple2 A B) -> C

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the first element.
• B: The type of the second element.
• C: The accumulator type.

Parameters

• f: The step function applied to the first element.
• g: The step function applied to the second element.
• z: The initial accumulator.
• p: The tuple to fold.

Returns

g(f(z, a), b).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

assert_eq!(
	explicit::bi_fold_left::<RcFnBrand, Tuple2Brand, _, _, _, _, _>(
		(|acc, a: i32| acc - a, |acc, b: i32| acc + b),
		0,
		(3, 5),
	),
	2
);

fn bi_fold_map<'a, FnBrand: CloneFn + 'a, A: 'a + Clone, B: 'a + Clone, M>( f: impl Fn(A) -> M + 'a, g: impl Fn(B) -> M + 'a, p: <Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> M

where M: Monoid + 'a,

Maps both elements of a tuple to a monoid and combines the results.

Computes M::append(f(a), g(b)) for a tuple (a, b).

Type Signature

forall A B M. (CloneFn FnBrand, Monoid M) => (A -> M, B -> M, Tuple2 A B) -> M

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the first element.
• B: The type of the second element.
• M: The monoid type.

Parameters

• f: The function mapping the first element to the monoid.
• g: The function mapping the second element to the monoid.
• p: The tuple to fold.

Returns

M::append(f(a), g(b)).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

assert_eq!(
	explicit::bi_fold_map::<RcFnBrand, Tuple2Brand, _, _, _, _, _>(
		(|a: i32| a.to_string(), |b: i32| b.to_string()),
		(3, 5),
	),
	"35".to_string()
);

impl Bifunctor for Tuple2Brand

fn bimap<'a, A: 'a, B: 'a, C: 'a, D: 'a>( f: impl Fn(A) -> B + 'a, g: impl Fn(C) -> D + 'a, p: <Self as Kind_266801a817966495>::Of<'a, A, C>, ) -> <Self as Kind_266801a817966495>::Of<'a, B, D>

Maps functions over the values in the tuple.

This method applies one function to the first value and another to the second value.

Type Signature

forall A B C D. (A -> B, C -> D, Tuple2 A C) -> Tuple2 B D

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the first value.
• B: The type of the mapped first value.
• C: The type of the second value.
• D: The type of the mapped second value.

Parameters

• f: The function to apply to the first value.
• g: The function to apply to the second value.
• p: The tuple to map over.

Returns

A new tuple containing the mapped values.

Examples

use fp_library::{
	brands::*,
	functions::*,
};

let x = (1, 5);
assert_eq!(
	explicit::bimap::<Tuple2Brand, _, _, _, _, _, _>((|a| a + 1, |b| b * 2), x),
	(2, 10)
);

fn map_first<'a, A: 'a, B: 'a, C: 'a>( f: impl Fn(A) -> B + 'a, p: <Self as Kind_266801a817966495>::Of<'a, A, C>, ) -> <Self as Kind_266801a817966495>::Of<'a, B, C>

Maps a function over the first type argument of the bifunctor.

fn map_second<'a, A: 'a, B: 'a, C: 'a>( g: impl Fn(B) -> C + 'a, p: <Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> <Self as Kind_266801a817966495>::Of<'a, A, C>

Maps a function over the second type argument of the bifunctor.

impl Bitraversable for Tuple2Brand

fn bi_traverse<'a, A: 'a + Clone, B: 'a + Clone, C: 'a + Clone, D: 'a + Clone, F: Applicative>( f: impl Fn(A) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, C> + 'a, g: impl Fn(B) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, D> + 'a, p: <Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, <Self as Kind_266801a817966495>::Of<'a, C, D>>

Traverses a tuple with two effectful functions.

Applies f to the first element and g to the second element, combining the effects via lift2.

Type Signature

forall A B C D F. Applicative F => (A -> F C, B -> F D, Tuple2 A B) -> F (Tuple2 C D)

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the first element.
• B: The type of the second element.
• C: The output type for the first element.
• D: The output type for the second element.
• F: The applicative context.

Parameters

• f: The function applied to the first element.
• g: The function applied to the second element.
• p: The tuple to traverse.

Returns

lift2(|c, d| (c, d), f(a), g(b)).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

assert_eq!(
	explicit::bi_traverse::<RcFnBrand, Tuple2Brand, _, _, _, _, OptionBrand, _, _>(
		(|a: i32| Some(a + 1), |b: i32| Some(b * 2)),
		(3, 5),
	),
	Some((4, 10))
);

fn bi_sequence<'a, A: 'a + Clone, B: 'a + Clone, F: Applicative>( ta: <Self as Kind_266801a817966495>::Of<'a, <F as Kind_cdc7cd43dac7585f>::Of<'a, A>, <F as Kind_cdc7cd43dac7585f>::Of<'a, B>>, ) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, <Self as Kind_266801a817966495>::Of<'a, A, B>>

where <F as Kind_cdc7cd43dac7585f>::Of<'a, A>: Clone, <F as Kind_cdc7cd43dac7585f>::Of<'a, B>: Clone,

Sequences a bitraversable structure containing applicative values.

impl Clone for Tuple2Brand

fn clone(&self) -> Tuple2Brand

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Tuple2Brand

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Tuple2Brand

fn default() -> Tuple2Brand

Returns the “default value” for a type.

impl Hash for Tuple2Brand

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, First: 'a, Second: 'a> InferableBrand_266801a817966495<'a, Tuple2Brand, First, Second> for (First, Second)

Generated InferableBrand_266801a817966495 implementation for (First, Second) with brand Tuple2Brand.

type Marker = Val

Dispatch marker: Val for owned types, Ref for references.

impl<First, Second> InferableBrand_5b1bcedfd80bdc16<Tuple2Brand, First, Second> for (First, Second)

Generated InferableBrand_5b1bcedfd80bdc16 implementation for (First, Second) with brand Tuple2Brand.

type Marker = Val

Dispatch marker: Val for owned types, Ref for references.

impl Kind_266801a817966495 for Tuple2Brand

Generated implementation of Kind_266801a817966495 for Tuple2Brand.

type Of<'a, First: 'a, Second: 'a> = (First, Second)

The applied type.

impl Kind_5b1bcedfd80bdc16 for Tuple2Brand

Generated implementation of Kind_5b1bcedfd80bdc16 for Tuple2Brand.

type Of<First, Second> = (First, Second)

The applied type.

impl Ord for Tuple2Brand

fn cmp(&self, other: &Tuple2Brand) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Tuple2Brand

fn eq(&self, other: &Tuple2Brand) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Tuple2Brand

fn partial_cmp(&self, other: &Tuple2Brand) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl RefBifoldable for Tuple2Brand

fn ref_bi_fold_right<'a, FnBrand: LiftFn + 'a, A: 'a + Clone, B: 'a + Clone, C: 'a>( f: impl Fn(&A, C) -> C + 'a, g: impl Fn(&B, C) -> C + 'a, z: C, p: &<Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> C

Folds a tuple from right to left by reference using two step functions.

Applies f to a reference of the first value and g to a reference of the second value, folding (a, b) as f(&a, g(&b, z)).

Type Signature

forall A B C. ((&A, C) -> C, (&B, C) -> C, C, &Tuple2 A B) -> C

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the first element.
• B: The type of the second element.
• C: The accumulator type.

Parameters

• f: The step function applied to a reference of the first element.
• g: The step function applied to a reference of the second element.
• z: The initial accumulator.
• p: The tuple to fold by reference.

Returns

f(&a, g(&b, z)).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

let x = (3, 5);
assert_eq!(
	explicit::bi_fold_right::<RcFnBrand, Tuple2Brand, _, _, _, _, _>(
		(|a: &i32, acc| acc - *a, |b: &i32, acc| acc + *b),
		0,
		&x,
	),
	2
);

fn ref_bi_fold_left<'a, FnBrand: LiftFn + 'a, A: 'a + Clone, B: 'a + Clone, C: 'a>( f: impl Fn(C, &A) -> C + 'a, g: impl Fn(C, &B) -> C + 'a, z: C, p: &<Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> C

Folds the bifoldable structure from left to right by reference using two step functions.

fn ref_bi_fold_map<'a, FnBrand: LiftFn + 'a, A: 'a + Clone, B: 'a + Clone, M>( f: impl Fn(&A) -> M + 'a, g: impl Fn(&B) -> M + 'a, p: &<Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> M

where M: Monoid + 'a,

Maps elements of both types to a monoid by reference and combines the results.

impl RefBifunctor for Tuple2Brand

fn ref_bimap<'a, A: 'a, B: 'a, C: 'a, D: 'a>( f: impl Fn(&A) -> B + 'a, g: impl Fn(&C) -> D + 'a, p: &<Self as Kind_266801a817966495>::Of<'a, A, C>, ) -> <Self as Kind_266801a817966495>::Of<'a, B, D>

Maps functions over references to the values in the tuple.

This method applies one function to a reference of the first value and another to a reference of the second value, producing a new tuple with mapped values. The original tuple is borrowed, not consumed.

Type Signature

forall A B C D. (&A -> B, &C -> D, &Tuple2 A C) -> Tuple2 B D

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the first value.
• B: The type of the mapped first value.
• C: The type of the second value.
• D: The type of the mapped second value.

Parameters

• f: The function to apply to a reference of the first value.
• g: The function to apply to a reference of the second value.
• p: The tuple to map over by reference.

Returns

A new tuple containing the mapped values.

Examples

use fp_library::{
	brands::*,
	classes::ref_bifunctor::*,
	functions::*,
};

let x = (1, 5);
assert_eq!(ref_bimap::<Tuple2Brand, _, _, _, _>(|a| *a + 1, |b| *b * 2, &x), (2, 10));

fn ref_map_first<'a, A: 'a, B: 'a, C: Clone + 'a>( f: impl Fn(&A) -> B + 'a, p: &<Self as Kind_266801a817966495>::Of<'a, A, C>, ) -> <Self as Kind_266801a817966495>::Of<'a, B, C>

Maps a function over the first type argument of the bifunctor by reference.

fn ref_map_second<'a, A: Clone + 'a, B: 'a, C: 'a>( g: impl Fn(&B) -> C + 'a, p: &<Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> <Self as Kind_266801a817966495>::Of<'a, A, C>

Maps a function over the second type argument of the bifunctor by reference.

impl RefBitraversable for Tuple2Brand

fn ref_bi_traverse<'a, FnBrand, A: 'a + Clone, B: 'a + Clone, C: 'a + Clone, D: 'a + Clone, F: Applicative>( f: impl Fn(&A) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, C> + 'a, g: impl Fn(&B) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, D> + 'a, p: &<Self as Kind_266801a817966495>::Of<'a, A, B>, ) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, <Self as Kind_266801a817966495>::Of<'a, C, D>>

where FnBrand: LiftFn + 'a, <Self as Kind_266801a817966495>::Of<'a, C, D>: Clone, <F as Kind_cdc7cd43dac7585f>::Of<'a, C>: Clone, <F as Kind_cdc7cd43dac7585f>::Of<'a, D>: Clone,

Traverses a tuple by reference with two effectful functions.

Applies f to a reference of the first element and g to a reference of the second element, combining the effects via lift2.

Type Signature

forall A B C D F. Applicative F => (&A -> F C, &B -> F D, &Tuple2 A B) -> F (Tuple2 C D)

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function wrapper.
• A: The type of the first element.
• B: The type of the second element.
• C: The output type for the first element.
• D: The output type for the second element.
• F: The applicative context.

Parameters

• f: The function applied to a reference of the first element.
• g: The function applied to a reference of the second element.
• p: The tuple to traverse by reference.

Returns

lift2(|c, d| (c, d), f(&a), g(&b)).

Examples

use fp_library::{
	brands::*,
	functions::*,
};

let x = (3, 5);
assert_eq!(
	explicit::bi_traverse::<RcFnBrand, Tuple2Brand, _, _, _, _, OptionBrand, _, _>(
		(|a: &i32| Some(a + 1), |b: &i32| Some(b * 2)),
		&x,
	),
	Some((4, 10))
);

fn ref_bi_sequence<'a, FnBrand, A: 'a + Clone, B: 'a + Clone, F: Applicative>( ta: &<Self as Kind_266801a817966495>::Of<'a, <F as Kind_cdc7cd43dac7585f>::Of<'a, A>, <F as Kind_cdc7cd43dac7585f>::Of<'a, B>>, ) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, <Self as Kind_266801a817966495>::Of<'a, A, B>>

where FnBrand: LiftFn + 'a, <Self as Kind_266801a817966495>::Of<'a, A, B>: Clone, <F as Kind_cdc7cd43dac7585f>::Of<'a, A>: Clone, <F as Kind_cdc7cd43dac7585f>::Of<'a, B>: Clone,

Sequences a bitraversable structure containing applicative values by reference.

impl Copy for Tuple2Brand

impl Eq for Tuple2Brand

impl StructuralPartialEq for Tuple2Brand