Struct Ability 

pub struct Ability<'f, I, S, O>(/* private fields */)
where
    S: Clone,
    O: Clone;

An Ability is a function I -> Fx<S, O>.

Implementations

impl<'f, I, S, O> Ability<'f, I, S, O>

where O: Clone, S: Clone + 'f, I: Clone + 'f,

pub fn request(i: I) -> Fx<'f, (Self, S), O>

where I: Clone,

pub fn handler<B, V>(self) -> Handler<'f, (Self, B), B, V, V>

where B: Clone, V: Clone,

pub fn imap<Y, F>(self, imap: F) -> Ability<'f, Y, S, O>

where Y: Clone + 'f, F: FnOnce(Y) -> I + Clone + 'f,

pub fn hmap<T, U, H>(self, h: H) -> Ability<'f, I, T, U>

where T: Clone + 'f, U: Clone + 'f, H: FnOnce(Fx<'f, S, O>) -> Fx<'f, T, U> + Clone + 'f,

impl<'f, I, S, O> Ability<'f, I, (Vec<O>, S), O>

where O: Clone, S: Clone + 'f, I: Clone + 'f,

pub fn fold_to_vec<V>( self, ) -> Handler<'f, (Ability<'f, I, (Vec<O>, S), O>, (Vec<O>, S)), S, V, (Vec<O>, V)>

where V: Clone,

impl<'f, I, S, O> Ability<'f, I, (Option<O>, S), O>

where O: Clone, S: Clone + 'f, I: Clone + 'f,

pub fn fold_to_option<V>( self, ) -> Handler<'f, (Ability<'f, I, (Option<O>, S), O>, (Option<O>, S)), S, V, (Option<O>, V)>

where V: Clone,

pub fn fold_to_some<V>( self, ) -> Handler<'f, (Self, (Option<O>, S)), S, V, (O, V)>

where V: Clone,

impl<'f, I, S, O, Acc> Ability<'f, I, (Acc, S), O>

where O: Clone, S: Clone + 'f, I: Clone + 'f, Acc: Clone + 'f,

pub fn fold<V, F>( self, acc: Acc, of: F, ) -> Handler<'f, (Ability<'f, I, (Acc, S), O>, (Acc, S)), S, V, (Acc, V)>

where V: Clone + 'f, F: FnOnce(Acc, O) -> Fx<'f, S, Acc> + Clone + 'f,

impl<'f, I, S, O> Ability<'f, I, S, O>

where S: Clone, O: Clone, I: Clone,

pub fn new<F>(f: F) -> Self

where F: FnOnce(I) -> Fx<'f, S, O> + Clone + 'f,

pub fn apply(self, i: I) -> Fx<'f, S, O>

pub fn clone_boxed(&self) -> Box<dyn FnOnce(I) -> Fx<'f, S, O> + 'f>

Trait Implementations

impl<'f, I: Clone, S, O> Clone for Ability<'f, I, S, O>

where S: Clone + Clone, O: Clone + Clone,

fn clone(&self) -> Ability<'f, I, S, O>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'f, I: Clone + 'f, S: Clone + 'f, O: Clone + 'f> From<Ability<'f, I, S, O>> for Box<dyn AbilityFn<'f, I, S, O> + 'f>

fn from(value: Ability<'f, I, S, O>) -> Self

Converts to this type from the input type.

impl<'f, I: Clone + 'f, S: Clone + 'f, O: Clone + 'f, F> From<F> for Ability<'f, I, S, O>

where F: FnOnce(I) -> Fx<'f, S, O> + Clone + 'f,

fn from(value: F) -> Self

Converts to this type from the input type.