Struct TryThunkBrand 

pub struct TryThunkBrand;

Brand for TryThunk (Bifunctor).

Trait Implementations

impl Bifunctor for TryThunkBrand

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

where F: Fn(A) -> B + 'a, G: Fn(C) -> D + 'a,

Maps functions over the values in the TryThunk.

This method applies one function to the error value and another to the success value.

Type Signature

forall self a b c d. Bifunctor self => (a -> b, c -> d, self a c) -> self b d

Type Parameters

• 'a: The lifetime of the values.
• A: The type of the error value.
• B: The type of the mapped error value.
• C: The type of the success value.
• D: The type of the mapped success value.
• F: The type of the function to apply to the error.
• G: The type of the function to apply to the success.

Parameters

• f: The function to apply to the error.
• g: The function to apply to the success.
• p: The TryThunk to map over.

Returns

A new TryThunk containing the mapped values.

Examples

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

let x: TryThunk<i32, i32> = TryThunk::pure(5);
assert_eq!(bimap::<TryThunkBrand, _, _, _, _, _, _>(|e| e + 1, |s| s * 2, x).evaluate(), Ok(10));

let y: TryThunk<i32, i32> = TryThunk::err(5);
assert_eq!(bimap::<TryThunkBrand, _, _, _, _, _, _>(|e| e + 1, |s| s * 2, y).evaluate(), Err(6));

impl Clone for TryThunkBrand

fn clone(&self) -> TryThunkBrand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TryThunkBrand

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

Formats the value using the given formatter.

impl Default for TryThunkBrand

fn default() -> TryThunkBrand

Returns the “default value” for a type.

impl Hash for TryThunkBrand

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 Kind_266801a817966495 for TryThunkBrand

Generated implementation of Kind_266801a817966495 for TryThunkBrand.

type Of<'a, E: 'a, A: 'a> = TryThunk<'a, A, E>

The applied type.

impl Ord for TryThunkBrand

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

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

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

impl Eq for TryThunkBrand

impl StructuralPartialEq for TryThunkBrand