Struct SendThunkBrand 

pub struct SendThunkBrand;

Brand for SendThunk.

Thread-safe counterpart of ThunkBrand. The inner closure is Send, enabling deferred computation across thread boundaries.

HKT limitations

SendThunkBrand does not implement Functor, Monad, or any other HKT type-class traits. Those traits accept closure parameters as impl Fn/impl FnOnce without a Send bound, so there is no way to guarantee that the closures passed to map, bind, etc. are safe to store inside a Send thunk. Use ThunkBrand when HKT polymorphism is needed, or work with SendThunk directly through its inherent methods.

Trait Implementations

impl Clone for SendThunkBrand

fn clone(&self) -> SendThunkBrand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SendThunkBrand

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

Formats the value using the given formatter.

impl Default for SendThunkBrand

fn default() -> SendThunkBrand

Returns the “default value” for a type.

impl Foldable for SendThunkBrand

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

where FnBrand: CloneFn + 'a,

Folds the SendThunk from the right.

Type Signature

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

Type Parameters

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

Parameters

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

Returns

The final accumulator value.

Examples

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

let thunk = SendThunk::pure(10);
let result =
	explicit::fold_right::<RcFnBrand, SendThunkBrand, _, _, _, _>(|a, b| a + b, 5, thunk);
assert_eq!(result, 15);

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

where FnBrand: CloneFn + 'a,

Folds the SendThunk from the left.

Type Signature

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

Type Parameters

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

Parameters

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

Returns

The final accumulator value.

Examples

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

let thunk = SendThunk::pure(10);
let result =
	explicit::fold_left::<RcFnBrand, SendThunkBrand, _, _, _, _>(|b, a| b + a, 5, thunk);
assert_eq!(result, 15);

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

where M: Monoid + 'a, FnBrand: CloneFn + 'a,

Maps the value to a monoid and returns it.

Type Signature

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

Type Parameters

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

Parameters

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

Returns

The monoid value.

Examples

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

let thunk = SendThunk::pure(10);
let result =
	explicit::fold_map::<RcFnBrand, SendThunkBrand, _, _, _, _>(|a: i32| a.to_string(), thunk);
assert_eq!(result, "10");

impl FoldableWithIndex for SendThunkBrand

fn fold_map_with_index<'a, FnBrand, A: 'a + Clone, R: Monoid>( f: impl Fn((), A) -> R + 'a, fa: <Self as Kind_cdc7cd43dac7585f>::Of<'a, A>, ) -> R

where FnBrand: LiftFn + 'a,

Folds the send thunk using a monoid, providing the index ().

Type Signature

forall A R. Monoid R => (((), A) -> R, SendThunk A) -> R

Type Parameters

• 'a: The lifetime of the computation.
• FnBrand: The brand of the cloneable function to use.
• A: The type of the value inside the send thunk.
• R: The monoid type.

Parameters

• f: The function to apply to the value and its index.
• fa: The send thunk to fold.

Returns

The monoid value.

Examples

use fp_library::{
	brands::*,
	classes::foldable_with_index::FoldableWithIndex,
	types::*,
};

let thunk = SendThunk::pure(5);
let result = <SendThunkBrand as FoldableWithIndex>::fold_map_with_index::<RcFnBrand, _, _>(
	|_, x: i32| x.to_string(),
	thunk,
);
assert_eq!(result, "5");

fn fold_right_with_index<'a, FnBrand, A: 'a + Clone, B: 'a>( func: impl Fn(Self::Index, A, B) -> B + 'a, initial: B, fa: Self::Of<'a, A>, ) -> B

where FnBrand: LiftFn + 'a, Self::Index: 'a,

Folds the structure with index by applying a function from right to left.

fn fold_left_with_index<'a, FnBrand, A: 'a + Clone, B: 'a>( func: impl Fn(Self::Index, B, A) -> B + 'a, initial: B, fa: Self::Of<'a, A>, ) -> B

where FnBrand: LiftFn + 'a, Self::Index: 'a,

Folds the structure with index by applying a function from left to right.

impl Hash for SendThunkBrand

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> InferableBrand_cdc7cd43dac7585f<'a, SendThunkBrand, A> for SendThunk<'a, A>

Generated InferableBrand_cdc7cd43dac7585f implementation for SendThunk < 'a, A > with brand SendThunkBrand.

type Marker = Val

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

impl Kind_cdc7cd43dac7585f for SendThunkBrand

Generated implementation of Kind_cdc7cd43dac7585f for SendThunkBrand.

type Of<'a, A: 'a> = SendThunk<'a, A>

The applied type.

impl Ord for SendThunkBrand

fn cmp(&self, other: &SendThunkBrand) -> 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 SendThunkBrand

fn eq(&self, other: &SendThunkBrand) -> 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 SendThunkBrand

fn partial_cmp(&self, other: &SendThunkBrand) -> 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 WithIndex for SendThunkBrand

type Index = ()

The index type for this structure.

impl Copy for SendThunkBrand

impl Eq for SendThunkBrand

impl StructuralPartialEq for SendThunkBrand