Struct OptionW 

pub struct OptionW(/* private fields */);

Trait Implementations

impl Applicable for OptionW

fn liftA2<A, B, C>( f: impl Fn(A, B) -> C, a: Option<A>, b: Option<B>, ) -> Option<C>

fn ap<A, B>(f: Self::H<impl Fn(A) -> B>, a: Self::H<A>) -> Self::H<B>

impl ApplicableMut for OptionW

fn liftA2_mut<A, B, C>( f: impl FnMut(A, B) -> C, a: Option<A>, b: Option<B>, ) -> Option<C>

fn ap_mut<A, B>(f: Self::H<impl FnMut(A) -> B>, a: Self::H<A>) -> Self::H<B>

impl ApplicableOnce for OptionW

fn liftA2_once<A, B, C>( f: impl FnOnce(A, B) -> C, a: Option<A>, b: Option<B>, ) -> Option<C>

fn ap_once<A, B>(f: Self::H<impl FnOnce(A) -> B>, a: Self::H<A>) -> Self::H<B>

impl Endofunctor for OptionW

fn map<A, B>(f: impl Fn(A) -> B, a: Option<A>) -> Option<B>

impl EndofunctorMut for OptionW

fn map_mut<A, B>(f: impl FnMut(A) -> B, a: Option<A>) -> Option<B>

impl EndofunctorOnce for OptionW

fn map_once<A, B>(f: impl FnOnce(A) -> B, a: Option<A>) -> Option<B>

impl H1 for OptionW

type H<A> = Option<A>

impl Semimonad for OptionW

fn join<A>(a: Option<Option<A>>) -> Option<A>

impl Traversable for OptionW

fn traverse<A, B, P: Pointed + Applicable>( f: impl Fn(A) -> P::H<B>, a: Option<A>, ) -> P::H<Option<B>>

impl TraversableMut for OptionW

fn traverse_mut<A, B, P: Pointed + ApplicableMut>( f: impl FnMut(A) -> P::H<B>, a: Option<A>, ) -> P::H<Option<B>>

impl TraversableOnce for OptionW

fn traverse_once<A, B, P: Pointed + ApplicableOnce>( f: impl FnOnce(A) -> P::H<B>, a: Option<A>, ) -> P::H<Option<B>>