Struct Segment 

pub struct Segment<I: Value, Next: Value<Type = List<<I as Value>::Type>>>(/* private fields */);

Trait Implementations

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<T: Type, F: Value<Type = Lambda<T, Bool>> + App<Current, Result = CurrentResult>, Current: Value<Type = T>, Next: Value<Type = List<T>>, NextResult: Value<Type = List<T>>, CurrentResult: Value<Type = Bool>, CurrentMaybe: Value<Type = Maybe<T>>, Listed: Value<Type = List<T>>, Result: Value<Type = List<T>>> App<Segment<Current, Next>> for FilterOn<F>

where FilterOn<F>: App<Next, Result = NextResult>, WhenMaybe<Just<Current>>: App<CurrentResult, Result = CurrentMaybe>, ToList<T>: App<CurrentMaybe, Result = Listed>, ConcatWith<Next>: App<Listed, Result = Result>,

type Result = Result

impl<T: Type, L: Value<Type = List<T>>, I: Value<Type = T>> App<Segment<I, Empty<T>>> for ConcatWith<L>

type Result = Segment<I, L>

impl<T: Type, L: Value<Type = List<T>>, I: Value<Type = T>, NextI: Value<Type = T>, Next: Value<Type = List<T>>, NextResult: Value<Type = List<T>>> App<Segment<I, Segment<NextI, Next>>> for ConcatWith<L>

where ConcatWith<L>: App<Segment<NextI, Next>, Result = NextResult>,

type Result = Segment<I, NextResult>

impl<A: Type, B: Type, F: Value<Type = Lambda<A, B>> + App<Ia, Result = Ib>, Ia: Value<Type = A>, Ib: Value<Type = B>, La: Value<Type = List<A>>, Lb: Value<Type = List<B>>> App<Segment<Ia, La>> for MapOn<List<A>, F>

where MapOn<List<A>, F>: Value<Type = Lambda<List<A>, List<B>>> + App<La, Result = Lb>,

type Result = Segment<Ib, Lb>

impl<T: Type, I: Value<Type = T>, LI: Value<Type = T>, L: Value<Type = List<T>>, Eq: Value<Type = Bool>, C: Value<Type = Bool>, R: Value<Type = Bool>> App<Segment<LI, L>> for ContainIn<I>

where EqTo<I>: App<LI, Result = Eq>, ContainIn<I>: App<L, Result = C>, OrOn<Eq>: App<C, Result = R>,

type Result = R

impl<I: Clone + Value, Next: Clone + Value<Type = List<<I as Value>::Type>>> Clone for Segment<I, Next>

fn clone(&self) -> Segment<I, Next>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Default + Value, Next: Default + Value<Type = List<<I as Value>::Type>>> Default for Segment<I, Next>

fn default() -> Segment<I, Next>

Returns the “default value” for a type.

impl<T: Type, I: Value<Type = T>, Next: Value<Type = List<T>>> Value for Segment<I, Next>

type Type = List<T>

impl<I: Copy + Value, Next: Copy + Value<Type = List<<I as Value>::Type>>> Copy for Segment<I, Next>