Struct ConstBrand 

pub struct ConstBrand<R>(/* private fields */);

Brand for the Const functor.

Trait Implementations

impl<R: 'static + Semigroup> ApplyFirst for ConstBrand<R>

Type Parameters

• R: The stored type.

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

Type Signature

forall R A B. Semigroup R => (Const R A, Const R B) -> Const R A

Type Parameters

• 'a: The lifetime of the values.
• A: The first type.
• B: The second type.

Parameters

• fa: The first Const instance.
• fb: The second Const instance.

Returns

A new Const instance with the combined stored values.

Examples

use fp_library::{
	brands::ConstBrand,
	classes::apply_first::ApplyFirst,
	types::const_val::Const,
};

let c1: Const<String, i32> = Const::new("Hello".to_string());
let c2: Const<String, i32> = Const::new(" World".to_string());
let applied = ConstBrand::apply_first(c1, c2);
assert_eq!(applied.0, "Hello World");

impl<R: 'static + Semigroup> ApplySecond for ConstBrand<R>

Type Parameters

• R: The stored type.

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

Type Signature

forall R A B. Semigroup R => (Const R A, Const R B) -> Const R B

Type Parameters

• 'a: The lifetime of the values.
• A: The first type.
• B: The second type.

Parameters

• fa: The first Const instance.
• fb: The second Const instance.

Returns

A new Const instance with the combined stored values.

Examples

use fp_library::{
	brands::ConstBrand,
	classes::apply_second::ApplySecond,
	types::const_val::Const,
};

let c1: Const<String, i32> = Const::new("Hello".to_string());
let c2: Const<String, i32> = Const::new(" World".to_string());
let applied = ConstBrand::apply_second(c1, c2);
assert_eq!(applied.0, "Hello World");

impl<R: Clone> Clone for ConstBrand<R>

fn clone(&self) -> ConstBrand<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for ConstBrand<R>

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

Formats the value using the given formatter.

impl<R: Default> Default for ConstBrand<R>

fn default() -> ConstBrand<R>

Returns the “default value” for a type.

impl<R: 'static> Functor for ConstBrand<R>

Type Parameters

• R: The stored type.

fn map<'a, A: 'a, B: 'a>( _f: impl Fn(A) -> B + 'a, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>

Type Signature

forall R A B. (A -> B, Const R A) -> Const R B

Type Parameters

• 'a: The lifetime of the values.
• A: The input type.
• B: The output type.

Parameters

• _f: The function to map (ignored).
• fa: The Const instance to map over.

Returns

A new Const instance with the same stored value.

Examples

use fp_library::{
	brands::ConstBrand,
	classes::functor::Functor,
	types::const_val::Const,
};

let c: Const<i32, String> = Const::new(42);
let mapped = ConstBrand::map(|s: String| s.len(), c);
assert_eq!(mapped.0, 42);

impl<R: Hash> Hash for ConstBrand<R>

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, A: 'a, R: 'static> InferableBrand_cdc7cd43dac7585f<'a, ConstBrand<R>, A> for Const<'a, R, A>

Generated InferableBrand_cdc7cd43dac7585f implementation for Const < 'a, R, A > with brand ConstBrand < R >.

type Marker = Val

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

impl<R: 'static> Kind_cdc7cd43dac7585f for ConstBrand<R>

Generated implementation of Kind_cdc7cd43dac7585f for ConstBrand < R >.

type Of<'a, A: 'a> = Const<'a, R, A>

The applied type.

impl<R: 'static + Semigroup> Lift for ConstBrand<R>

Type Parameters

• R: The stored type.

fn lift2<'a, A, B, C>( _func: impl Fn(A, B) -> C + 'a, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, fb: <Self as Kind_cdc7cd43dac7585f>::Of<'a, B>, ) -> <Self as Kind_cdc7cd43dac7585f>::Of<'a, C>

where A: Clone + 'a, B: Clone + 'a, C: 'a,

Type Signature

forall R A B C. Semigroup R => ((A, B) -> C, Const R A, Const R B) -> Const R C

Type Parameters

• 'a: The lifetime of the values.
• A: The first input type.
• B: The second input type.
• C: The output type.

Parameters

• _func: The function to lift (ignored).
• fa: The first Const instance.
• fb: The second Const instance.

Returns

A new Const instance with the combined stored values.

Examples

use fp_library::{
	brands::ConstBrand,
	classes::lift::Lift,
	types::const_val::Const,
};

let c1: Const<String, i32> = Const::new("Hello".to_string());
let c2: Const<String, i32> = Const::new(" World".to_string());
let lifted = ConstBrand::lift2(|a: i32, b: i32| a + b, c1, c2);
assert_eq!(lifted.0, "Hello World");

impl<R: Ord> Ord for ConstBrand<R>

fn cmp(&self, other: &ConstBrand<R>) -> 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<R: PartialEq> PartialEq for ConstBrand<R>

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

fn partial_cmp(&self, other: &ConstBrand<R>) -> 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<R: 'static + Monoid> Pointed for ConstBrand<R>

Type Parameters

• R: The stored type.

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

Type Signature

forall R A. Monoid R => A -> Const R A

Type Parameters

• 'a: The lifetime of the values.
• A: The type to wrap (ignored).

Parameters

• _a: The value to wrap (ignored).

Returns

A new Const instance with the empty value of the stored type.

Examples

use fp_library::{
	brands::ConstBrand,
	classes::pointed::Pointed,
	types::const_val::Const,
};

let c: Const<String, i32> = ConstBrand::pure(42);
assert_eq!(c.0, "".to_string());

impl<R: 'static + Semigroup> Semiapplicative for ConstBrand<R>

Type Parameters

• R: The stored type.

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

Type Signature

forall R A B. (Semigroup R, CloneFn FnBrand) => (Const R (FnBrand A B), Const R A) -> Const R B

Type Parameters

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

Parameters

• ff: The Const instance containing a function.
• fa: The Const instance containing a value.

Returns

A new Const instance with the combined stored values.

Examples

use fp_library::{
	brands::{
		ConstBrand,
		RcFnBrand,
	},
	classes::{
		clone_fn::CloneFn,
		semiapplicative::Semiapplicative,
	},
	types::const_val::Const,
};

let c1 = Const::<String, _>::new("Hello".to_string());
let c2 = Const::<String, i32>::new(" World".to_string());
let applied = ConstBrand::<String>::apply::<RcFnBrand, i32, i32>(c1, c2);
assert_eq!(applied.0, "Hello World");

impl<R: Copy> Copy for ConstBrand<R>

impl<R: Eq> Eq for ConstBrand<R>

impl<R> StructuralPartialEq for ConstBrand<R>