Struct rats::kinds::OptionKind [−][src]
pub struct OptionKind;
Trait Implementations
impl FunctionK<OptionKind, VecKind> for OptionKind
[src]
impl FunctionK<OptionKind, VecKind> for OptionKind
type ZOut = Empty
fn map_kind<A>(fa: Kind<OptionKind, A, Empty>) -> Kind<VecKind, A, Self::ZOut>
[src]
fn map_kind<A>(fa: Kind<OptionKind, A, Empty>) -> Kind<VecKind, A, Self::ZOut>
F<A,> -> G<A,>
impl Functor<OptionKind> for OptionKind
[src]
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_,
[src]
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
[src]
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,
[src]
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>
[src]
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>
[src]
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_,
[src]
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
[src]
impl<Z> FunctionK<ResultKind, OptionKind, Z> for ResultKind
type ZOut = Empty
fn map_kind<A>(fa: Kind<ResultKind, A, Z>) -> Kind<OptionKind, A, Empty>
[src]
fn map_kind<A>(fa: Kind<ResultKind, A, Z>) -> Kind<OptionKind, A, Empty>
F<A,> -> G<A,>
impl Clone for OptionKind
[src]
impl Clone for OptionKind
fn clone(&self) -> OptionKind
[src]
fn clone(&self) -> OptionKind
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl Debug for OptionKind
[src]
impl Debug for OptionKind
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl PartialEq for OptionKind
[src]
impl PartialEq for OptionKind
fn eq(&self, other: &OptionKind) -> bool
[src]
fn eq(&self, other: &OptionKind) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Rhs) -> bool
1.0.0[src]
fn ne(&self, other: &Rhs) -> bool
1.0.0
[src]This method tests for !=
.
impl HKT for OptionKind
[src]
impl HKT for OptionKind
impl<'f_, A: 'f_> IntoKind<'f_, OptionKind, A> for Option<A>
[src]
impl<'f_, A: 'f_> IntoKind<'f_, OptionKind, A> for Option<A>
type Kind = OptionKind
fn into_kind(self) -> Kind<'f_, OptionKind, A>
[src]
fn into_kind(self) -> Kind<'f_, OptionKind, A>
impl<'f_, A> Reify<OptionKind, A> for Kind<'f_, OptionKind, A>
[src]
impl<'f_, A> Reify<OptionKind, A> for Kind<'f_, OptionKind, A>
impl<'f_, A> ReifyRef<OptionKind, A> for Kind<'f_, OptionKind, A>
[src]
impl<'f_, A> ReifyRef<OptionKind, A> for Kind<'f_, OptionKind, A>
type Out = Option<A>
fn reify_as_ref(&self) -> &Self::Out
[src]
fn reify_as_ref(&self) -> &Self::Out
Auto Trait Implementations
impl Send for OptionKind
impl Send for OptionKind
impl Sync for OptionKind
impl Sync for OptionKind