Struct Tuple2WithFirstBrand 

pub struct Tuple2WithFirstBrand<First>(/* private fields */);

Brand for (First, Second), with First filled in (Functor over Second).

Trait Implementations

impl<First: Clone + Semigroup + 'static> ApplyFirst for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

fn apply_first<'a, A: 'a + Clone, B: 'a + Clone>( fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, fb: <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>

Combines two contexts, keeping the value from the first context.

impl<First: Clone + Semigroup + 'static> ApplySecond for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

fn apply_second<'a, A: 'a + Clone, B: 'a + Clone>( fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, fb: <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>

Combines two contexts, keeping the value from the second context.

impl<First: Clone> Clone for Tuple2WithFirstBrand<First>

fn clone(&self) -> Tuple2WithFirstBrand<First>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<First: Debug> Debug for Tuple2WithFirstBrand<First>

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

Formats the value using the given formatter.

impl<First: Default> Default for Tuple2WithFirstBrand<First>

fn default() -> Tuple2WithFirstBrand<First>

Returns the “default value” for a type.

impl<First: 'static> Foldable for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

fn fold_right<'a, FnBrand, A: 'a, B: 'a, Func>( func: Func, initial: B, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> B

where Func: Fn(A, B) -> B + 'a, FnBrand: CloneableFn + 'a,

Folds the tuple from the right (over second).

This method performs a right-associative fold of the tuple (over second).

Type Signature

forall First A B. ((A, B) -> B, B, Tuple2WithFirst First A) -> B

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the elements in the structure.
• B: The type of the accumulator.
• Func: The type of the folding function.

Parameters

• func: The folding function.
• initial: The initial value.
• fa: The tuple to fold.

Returns

func(a, initial).

Examples

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

assert_eq!(fold_right::<RcFnBrand, Tuple2WithFirstBrand<()>, _, _, _>(|x, acc| x + acc, 0, ((), 5)), 5);

fn fold_left<'a, FnBrand, A: 'a, B: 'a, Func>( func: Func, initial: B, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> B

where Func: Fn(B, A) -> B + 'a, FnBrand: CloneableFn + 'a,

Folds the tuple from the left (over second).

This method performs a left-associative fold of the tuple (over second).

Type Signature

forall First A B. ((B, A) -> B, B, Tuple2WithFirst First A) -> B

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the elements in the structure.
• B: The type of the accumulator.
• Func: The type of the folding function.

Parameters

• func: The function to apply to the accumulator and each element.
• initial: The initial value of the accumulator.
• fa: The tuple to fold.

Returns

func(initial, a).

Examples

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

assert_eq!(fold_left::<RcFnBrand, Tuple2WithFirstBrand<()>, _, _, _>(|acc, x| acc + x, 0, ((), 5)), 5);

fn fold_map<'a, FnBrand, A: 'a, M, Func>( func: Func, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> M

where M: Monoid + 'a, Func: Fn(A) -> M + 'a, FnBrand: CloneableFn + 'a,

Maps the value to a monoid and returns it (over second).

This method maps the element of the tuple to a monoid and then returns it (over second).

Type Signature

forall First A M. Monoid M => (A -> M, Tuple2WithFirst First A) -> M

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the elements in the structure.
• M: The type of the monoid.
• Func: The type of the mapping function.

Parameters

• func: The mapping function.
• fa: The tuple to fold.

Returns

func(a).

Examples

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

assert_eq!(
    fold_map::<RcFnBrand, Tuple2WithFirstBrand<()>, _, _, _>(|x: i32| x.to_string(), ((), 5)),
    "5".to_string()
);

impl<First: 'static> Functor for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

fn map<'a, A: 'a, B: 'a, Func>( func: Func, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>

where Func: Fn(A) -> B + 'a,

Maps a function over the second value in the tuple.

This method applies a function to the second value inside the tuple, producing a new tuple with the transformed second value. The first value remains unchanged.

Type Signature

forall First A B. (A -> B, Tuple2WithFirst First A) -> Tuple2WithFirst First B

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the second value.
• B: The type of the result of applying the function.
• Func: The type of the function to apply.

Parameters

• func: The function to apply to the second value.
• fa: The tuple to map over.

Returns

A new tuple containing the result of applying the function to the second value.

Examples

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

assert_eq!(map::<Tuple2WithFirstBrand<_>, _, _, _>(|x: i32| x * 2, (1, 5)), (1, 10));

impl<First: Hash> Hash for Tuple2WithFirstBrand<First>

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<First: 'static> Kind_cdc7cd43dac7585f for Tuple2WithFirstBrand<First>

Generated implementation of Kind_cdc7cd43dac7585f for Tuple2WithFirstBrand < First >.

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

The applied type.

impl<First> Lift for Tuple2WithFirstBrand<First>

where First: Semigroup + Clone + 'static,

Type Parameters

• First: The type of the first value in the tuple.

fn lift2<'a, A, B, C, Func>( func: Func, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, fb: <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, C>

where Func: Fn(A, B) -> C + 'a, A: Clone + 'a, B: Clone + 'a, C: 'a,

Lifts a binary function into the tuple context (over second).

This method lifts a binary function to operate on the second values within the tuple context. The first values are combined using their Semigroup implementation.

Type Signature

forall First A B C. Semigroup First => ((A, B) -> C, Tuple2WithFirst First A, Tuple2WithFirst First B) -> Tuple2WithFirst First C

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the first second value.
• B: The type of the second second value.
• C: The type of the result second value.
• Func: The type of the binary function.

Parameters

• func: The binary function to apply to the second values.
• fa: The first tuple.
• fb: The second tuple.

Returns

A new tuple where the first values are combined using Semigroup::append and the second values are combined using f.

Examples

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

assert_eq!(
    lift2::<Tuple2WithFirstBrand<String>, _, _, _, _>(|x, y| x + y, ("a".to_string(), 1), ("b".to_string(), 2)),
    ("ab".to_string(), 3)
);

impl<First: Ord> Ord for Tuple2WithFirstBrand<First>

fn cmp(&self, other: &Tuple2WithFirstBrand<First>) -> 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<First: 'static> ParFoldable for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

fn par_fold_map<'a, FnBrand, A, M>( func: <FnBrand as SendCloneableFn>::SendOf<'a, A, M>, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> M

where FnBrand: 'a + SendCloneableFn, A: 'a + Clone + Send + Sync, M: Monoid + Send + Sync + 'a,

Maps the value to a monoid and returns it in parallel (over second).

This method maps the element of the tuple to a monoid and then returns it (over second). The mapping operation may be executed in parallel.

Type Signature

forall First A M. Monoid M => (A -> M, Tuple2WithFirst First A) -> M

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function wrapper.
• A: The element type.
• M: The monoid type.

Parameters

• func: The thread-safe function to map each element to a monoid.
• fa: The tuple to fold.

Returns

The combined monoid value.

Examples

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

let x = ("a".to_string(), 1);
let f = send_cloneable_fn_new::<ArcFnBrand, _, _>(|x: i32| x.to_string());
assert_eq!(
    par_fold_map::<ArcFnBrand, Tuple2WithFirstBrand<String>, _, _>(f, x),
    "1".to_string()
);

fn par_fold_right<'a, FnBrand, A, B>( func: <FnBrand as SendCloneableFn>::SendOf<'a, (A, B), B>, initial: B, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> B

where FnBrand: 'a + SendCloneableFn, A: 'a + Clone + Send + Sync, B: Send + Sync + 'a,

Folds the tuple from the right in parallel (over second).

This method folds the tuple by applying a function from right to left, potentially in parallel (over second).

Type Signature

forall First A B. ((A, B) -> B, B, Tuple2WithFirst First A) -> B

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function wrapper.
• A: The element type.
• B: The accumulator type.

Parameters

• func: The thread-safe function to apply to each element and the accumulator.
• initial: The initial value.
• fa: The tuple to fold.

Returns

The final accumulator value.

Examples

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

let x = ("a".to_string(), 1);
let f = send_cloneable_fn_new::<ArcFnBrand, _, _>(|(a, b): (i32, i32)| a + b);
assert_eq!(par_fold_right::<ArcFnBrand, Tuple2WithFirstBrand<String>, _, _>(f, 10, x), 11);

impl<First: PartialEq> PartialEq for Tuple2WithFirstBrand<First>

fn eq(&self, other: &Tuple2WithFirstBrand<First>) -> 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<First: PartialOrd> PartialOrd for Tuple2WithFirstBrand<First>

fn partial_cmp(&self, other: &Tuple2WithFirstBrand<First>) -> 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<First> Pointed for Tuple2WithFirstBrand<First>

where First: Monoid + Clone + 'static,

Type Parameters

• First: The type of the first value in the tuple.

fn pure<'a, A: 'a>(a: A) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>

Wraps a value in a tuple (with empty first).

This method wraps a value in a tuple, using the Monoid::empty() value for the first element.

Type Signature

forall First A. Monoid First => A -> Tuple2WithFirst First A

Type Parameters

• 'a: The lifetime of the value.
• A: The type of the value to wrap.

Parameters

• a: The value to wrap.

Returns

A tuple containing the empty value of the first type and a.

Examples

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

assert_eq!(pure::<Tuple2WithFirstBrand<String>, _>(5), ("".to_string(), 5));

impl<First> Semiapplicative for Tuple2WithFirstBrand<First>

where First: Semigroup + Clone + 'static,

Type Parameters

• First: The type of the first value in the tuple.

fn apply<'a, FnBrand: 'a + CloneableFn, A: 'a + Clone, B: 'a>( ff: <Self as Kind_cdc7cd43dac7585f>::Of<'a, <FnBrand as CloneableFn>::Of<'a, A, B>>, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>

Applies a wrapped function to a wrapped value (over second).

This method applies a function wrapped in a tuple to a value wrapped in a tuple. The first values are combined using their Semigroup implementation.

Type Signature

forall First A B. Semigroup First => (Tuple2WithFirst First (A -> B), Tuple2WithFirst First A) -> Tuple2WithFirst First B

Type Parameters

• 'a: The lifetime of the values.
• FnBrand: The brand of the cloneable function wrapper.
• A: The type of the input value.
• B: The type of the output value.

Parameters

• ff: The tuple containing the function.
• fa: The tuple containing the value.

Returns

A new tuple where the first values are combined and the function is applied to the second value.

Examples

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

let f = ("a".to_string(), cloneable_fn_new::<RcFnBrand, _, _>(|x: i32| x * 2));
assert_eq!(apply::<RcFnBrand, Tuple2WithFirstBrand<String>, _, _>(f, ("b".to_string(), 5)), ("ab".to_string(), 10));

impl<First> Semimonad for Tuple2WithFirstBrand<First>

where First: Semigroup + Clone + 'static,

Type Parameters

• First: The type of the first value in the tuple.

fn bind<'a, A: 'a, B: 'a, Func>( ma: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, func: Func, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>

where Func: Fn(A) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B> + 'a,

Chains tuple computations (over second).

This method chains two computations, where the second computation depends on the result of the first. The first values are combined using their Semigroup implementation.

Type Signature

forall First A B. Semigroup First => (Tuple2WithFirst First A, A -> Tuple2WithFirst First B) -> Tuple2WithFirst First B

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the result of the first computation.
• B: The type of the result of the second computation.
• Func: The type of the function to apply.

Parameters

• ma: The first tuple.
• func: The function to apply to the second value.

Returns

A new tuple where the first values are combined.

Examples

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

assert_eq!(
    bind::<Tuple2WithFirstBrand<String>, _, _, _>(("a".to_string(), 5), |x| ("b".to_string(), x * 2)),
    ("ab".to_string(), 10)
);

impl<First: Clone + 'static> Traversable for Tuple2WithFirstBrand<First>

Type Parameters

• First: The type of the first value in the tuple.

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

where Func: Fn(A) -> <F as Kind_cdc7cd43dac7585f>::Of<'a, B> + 'a, <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>: Clone,

Traverses the tuple with an applicative function (over second).

This method maps the element of the tuple to a computation, evaluates it, and combines the result into an applicative context (over second).

Type Signature

forall First A B F. Applicative F => (A -> F B, Tuple2WithFirst First A) -> F (Tuple2WithFirst First B)

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the elements in the traversable structure.
• B: The type of the elements in the resulting traversable structure.
• F: The applicative context.
• Func: The type of the function to apply.

Parameters

• func: The function to apply to each element, returning a value in an applicative context.
• ta: The tuple to traverse.

Returns

The tuple wrapped in the applicative context.

Examples

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

assert_eq!(
    traverse::<Tuple2WithFirstBrand<()>, _, _, OptionBrand, _>(|x| Some(x * 2), ((), 5)),
    Some(((), 10))
);

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

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

Sequences a tuple of applicative (over second).

This method evaluates the computation inside the tuple and accumulates the result into an applicative context (over second).

Type Signature

forall First A F. Applicative F => Tuple2WithFirst First (F A) -> F (Tuple2WithFirst First A)

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the elements in the traversable structure.
• F: The applicative context.

Parameters

• ta: The tuple containing the applicative value.

Returns

The tuple wrapped in the applicative context.

Examples

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

assert_eq!(
    sequence::<Tuple2WithFirstBrand<()>, _, OptionBrand>(((), Some(5))),
    Some(((), 5))
);

impl<First: Copy> Copy for Tuple2WithFirstBrand<First>

impl<First: Eq> Eq for Tuple2WithFirstBrand<First>

impl<First> StructuralPartialEq for Tuple2WithFirstBrand<First>