Trait scsys_core::hkt::applicative::Applicative

pub trait Applicative<U>: Functor<U> {
    // Required methods
    fn pure_(value: U) -> Self::T
       where Self: HKT<U, C = U>;
    fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> <Self as HKT<U>>::T
       where F: Fn(&<Self as HKT<U>>::C) -> U,
             Self: HKT<F>;
}

Required Methods

fn pure_(value: U) -> Self::T

where Self: HKT<U, C = U>,

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> <Self as HKT<U>>::T

where F: Fn(&<Self as HKT<U>>::C) -> U, Self: HKT<F>,

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T, U> Applicative<U> for Option<T>

fn pure_(value: U) -> Self::T

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> Option<U>

where F: Fn(&T) -> U,

impl<T, U> Applicative<U> for Box<T>

fn pure_(value: U) -> Self::T

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> Box<U>

where F: Fn(&<Self as HKT<U>>::C) -> U,

impl<T, U> Applicative<U> for Rc<T>

fn pure_(value: U) -> Self::T

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> Rc<U>

where F: Fn(&<Self as HKT<U>>::C) -> U,

impl<T, U> Applicative<U> for Arc<T>

fn pure_(value: U) -> Self::T

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> Arc<U>

where F: Fn(&<Self as HKT<U>>::C) -> U,

impl<T, U> Applicative<U> for Vec<T>

fn pure_(value: U) -> Self::T

fn seq<F>(&self, fs: <Self as HKT<F>>::T) -> Vec<U>

where F: Fn(&T) -> U,

Implementors