Struct Nothing 

pub struct Nothing<T: Type>(/* private fields */);

Trait Implementations

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, B>>> App<Nothing<A>> for MapOn<Maybe<A>, F>

type Result = Nothing<B>

impl<T: Type> App<Nothing<Maybe<T>>> for Flatten<T>

type Result = Nothing<T>

impl<T: Type> App<Nothing<T>> for IsNoting<T>

type Result = True

impl<T: Type> App<Nothing<T>> for ToList<T>

type Result = Empty<T>

impl<T: Clone + Type> Clone for Nothing<T>

fn clone(&self) -> Nothing<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Default + Type> Default for Nothing<T>

fn default() -> Nothing<T>

Returns the “default value” for a type.

impl<T: Type> Value for Nothing<T>

type Type = Maybe<T>

impl<T: Copy + Type> Copy for Nothing<T>