Struct naan::impls::result::hkt::Result

pub struct Result;

core::result::Result lifted to an HKT2

(Kind Type -> Type -> Type)

Trait Implementations

impl<A, E> Bifunctor<Result, A, E> for Result<A, E>

fn bimap<AB, BB, FA, FB>(self, fa: FA, fb: FB) -> <Result as HKT2>::T<AB, BB>where FA: F1<A, Ret = AB>, FB: F1<E, Ret = BB>,

See Bifunctor

fn lmap<A2, FA>(self, fa: FA) -> F::T<A2, B>where Self: Sized, FA: F1<A, Ret = A2>,

Map the left type in the Bifunctor

fn rmap<B2, FB>(self, fb: FB) -> F::T<A, B2>where Self: Sized, FB: F1<B, Ret = B2>,

Map the right type in the Bifunctor

impl<A, E> BifunctorOnce<Result, A, E> for Result<A, E>

fn bimap1<AB, BB, FA, FB>(self, fa: FA, fb: FB) -> <Result as HKT2>::T<AB, BB>where FA: F1Once<A, Ret = AB>, FB: F1Once<E, Ret = BB>,

See Bifunctor

fn lmap1<A2, FA>(self, fa: FA) -> F::T<A2, B>where Self: Sized, FA: F1Once<A, Ret = A2>,

Map the left type in the Bifunctor

fn rmap1<B2, FB>(self, fb: FB) -> F::T<A, B2>where Self: Sized, FB: F1Once<B, Ret = B2>,

Map the right type in the Bifunctor

impl HKT2 for Result

type T<A, B> = Result<A, B>

The generic type