Struct Just 

pub struct Just<V: Value>(/* private fields */);

Trait Implementations

impl<T: Type, I: Value<Type = Maybe<T>>> App<Just<I>> for Flatten<T>

type Result = I

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<T: Type, V: Value<Type = T>> App<Just<V>> for IsNoting<T>

type Result = False

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

type Result = Just<R>

impl<T: Type, V: Value<Type = T>> App<Just<V>> for ToList<T>

type Result = <Pure<List<T>> as App<V>>::Result

impl<V: Clone + Value> Clone for Just<V>

fn clone(&self) -> Just<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Default + Value> Default for Just<V>

fn default() -> Just<V>

Returns the “default value” for a type.

impl<T: Type, V: Value<Type = T>> Value for Just<V>

type Type = Maybe<T>

impl<V: Copy + Value> Copy for Just<V>