Struct rats::kinds::OptionKind

pub struct OptionKind;

Trait Implementations

impl FunctionK<OptionKind, VecKind> for OptionKind

type ZOut = Empty

fn map_kind<A>(fa: Kind<OptionKind, A, Empty>) -> Kind<VecKind, A, Self::ZOut>

F<A,> -> G<A,>

impl Functor<OptionKind> for OptionKind

fn map<'f_, Fn_, A, B>(     a: Kind<'f_, OptionKind, A>,     f: Fn_ ) -> Kind<'f_, OptionKind, B> where     Fn_: FnOnce(A) -> B + 'f_,

(Option, Fn(A) -> B) -> Option

impl Applicative<OptionKind> for OptionKind

fn ap<'f_, A, B, Fn_>(     fa: Kind<'f_, OptionKind, A>,     ff: Kind<'f_, OptionKind, Fn_> ) -> Kind<'f_, OptionKind, B> where     Fn_: FnOnce(A) -> B,

(F, F<FnOnce(A) -> B>) -> F

fn point<'f_, A>(a: A) -> Kind<'f_, OptionKind, A>

A -> F

fn product<'f_, A: 'f_, B: 'f_>(     fa: Kind<'f_, F_, A, Z>,     fb: Kind<'f_, F_, B, Z> ) -> Kind<'f_, F_, (A, B), Z>

(F, F) -> F<(A,B)>

fn map2<'f_, Fn_, A, B, C>(     fa: Kind<'f_, F_, A, Z>,     fb: Kind<'f_, F_, B, Z>,     fn_: Fn_ ) -> Kind<'f_, F_, C, Z> where     Fn_: Fn((A, B)) -> C + 'f_,

(F, F, Fn((A,B)) -> C) -> F

impl<Z> FunctionK<ResultKind, OptionKind, Z> for ResultKind

type ZOut = Empty

fn map_kind<A>(fa: Kind<ResultKind, A, Z>) -> Kind<OptionKind, A, Empty>

F<A,> -> G<A,>

impl Clone for OptionKind

fn clone(&self) -> OptionKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OptionKind

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

Formats the value using the given formatter.

impl PartialEq for OptionKind

fn eq(&self, other: &OptionKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl HKT for OptionKind

impl<'f_, A: 'f_> IntoKind<'f_, OptionKind, A> for Option<A>

type Kind = OptionKind

fn into_kind(self) -> Kind<'f_, OptionKind, A>

impl<'f_, A> Reify<OptionKind, A> for Kind<'f_, OptionKind, A>

type Out = Option<A>

fn reify(self) -> Self::Out

impl<'f_, A> ReifyRef<OptionKind, A> for Kind<'f_, OptionKind, A>

type Out = Option<A>

fn reify_as_ref(&self) -> &Self::Out