Struct BindOn 

pub struct BindOn<M: Monad, F: Value>(/* private fields */);

Trait Implementations

impl<A: Type, B: Type, F: Value<Type = Lambda<A, List<B>>>> App<Empty<A>> for BindOn<List<A>, F>

type Result = Empty<B>

impl<A: Type, B: Type, F: Value<Type = Lambda<A, Maybe<B>>> + App<Ia, Result = R>, Ia: Value<Type = A>, R: Value<Type = Maybe<B>>> App<Just<Ia>> for BindOn<Maybe<A>, F>

type Result = R

impl<A: Type, B: Type, F: Value<Type = Lambda<A, Maybe<B>>>> App<Nothing<A>> for BindOn<Maybe<A>, F>

type Result = Nothing<B>

impl<A: Type, B: Type, F: Value<Type = Lambda<A, List<B>>> + App<Current, Result = CurrentResult>, Current: Value<Type = A>, Next: Value<Type = List<A>>, CurrentResult: Value<Type = List<B>>, NextResult: Value<Type = List<B>>, Result: Value<Type = List<B>>> App<Segment<Current, Next>> for BindOn<List<A>, F>

where BindOn<List<A>, F>: Value + App<Next, Result = NextResult>, ConcatWith<NextResult>: Value + App<CurrentResult, Result = Result>,

type Result = Result

impl<M: Clone + Monad, F: Clone + Value> Clone for BindOn<M, F>

fn clone(&self) -> BindOn<M, F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<M: Default + Monad, F: Default + Value> Default for BindOn<M, F>

fn default() -> BindOn<M, F>

Returns the “default value” for a type.

impl<A: Type, B: Type, MB: Type + Monad<Wrapped = B>, M: Monad<Wrapped = A, HKT<B> = MB>, F: Value<Type = Lambda<A, MB>>> Value for BindOn<M, F>

type Type = Lambda<M, MB>

impl<M: Copy + Monad, F: Copy + Value> Copy for BindOn<M, F>