Struct OptionF 

pub struct OptionF;

Type constructor for Option<T>.

Trait Implementations

impl Alt for OptionF

fn alt<A>(fa1: Option<A>, fa2: Option<A>) -> Option<A>

impl Applicative for OptionF

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

impl ApplicativeSt for OptionF

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

where A: 'static,

impl Apply for OptionF

fn ap<A, B, F>(ff: Option<F>, fa: Option<A>) -> Option<B>

where A: Clone, F: Fn(A) -> B,

impl Chain for OptionF

fn chain<A, B>(fa: Option<A>, f: impl Fn(A) -> Option<B>) -> Option<B>

impl ChainSt for OptionF

fn chain_st<A, B>( fa: Option<A>, f: impl Fn(A) -> Option<B> + 'static, ) -> Option<B>

where A: 'static, B: 'static,

impl Comonad for OptionF

fn extract<A>(wa: &Option<A>) -> A

where A: Clone,

impl Extend for OptionF

fn extend<A, B>(wa: Option<A>, f: impl Fn(&Option<A>) -> B) -> Option<B>

where A: Clone,

fn duplicate<A>(wa: Self::Of<A>) -> Self::Of<Self::Of<A>>

where A: Clone, Self::Of<A>: Clone,

impl Foldable for OptionF

fn fold_right<A, B>(fa: Option<A>, init: B, f: impl Fn(A, B) -> B) -> B

fn fold_map<A, M>(fa: Self::Of<A>, f: impl Fn(A) -> M) -> M

where M: Monoid,

impl Functor for OptionF

fn fmap<A, B>(fa: Option<A>, f: impl Fn(A) -> B) -> Option<B>

impl FunctorFilter for OptionF

fn filter_map<A, B>(fa: Option<A>, f: impl Fn(A) -> Option<B>) -> Option<B>

fn filter<A>(fa: Self::Of<A>, pred: impl Fn(&A) -> bool) -> Self::Of<A>

where A: Clone,

impl FunctorSt for OptionF

fn fmap_st<A, B>(fa: Option<A>, f: impl Fn(A) -> B + 'static) -> Option<B>

where A: 'static, B: 'static,

impl HKT for OptionF

type Of<T> = Option<T>

impl Invariant for OptionF

fn invmap<A, B>( fa: Option<A>, f: impl Fn(A) -> B, _g: impl Fn(B) -> A, ) -> Option<B>

impl NaturalTransformation<OptionF, VecF> for OptionToVec

Available on crate features alloc or std only.

fn transform<A>(fa: Option<A>) -> Vec<A>

impl NaturalTransformation<VecF, OptionF> for VecHeadToOption

Available on crate features alloc or std only.

fn transform<A>(fa: Vec<A>) -> Option<A>

impl Plus for OptionF

fn zero<A>() -> Option<A>

impl Selective for OptionF

fn select<A, B, F>(fab: Option<Result<A, B>>, ff: Option<F>) -> Option<B>

where A: Clone, F: Fn(A) -> B,

impl Traversable for OptionF

fn traverse<G, A, B, F>(fa: Option<A>, f: F) -> <G as HKT>::Of<Option<B>>

where G: Applicative, F: Fn(A) -> <G as HKT>::Of<B>, B: Clone,