Struct Empty 

pub struct Empty<T: Type>(/* 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, B>>> App<Empty<A>> for MapOn<List<A>, F>

type Result = Empty<B>

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

type Result = L

impl<T: Type, I: Value<Type = T>> App<Empty<T>> for ContainIn<I>

type Result = False

impl<T: Type, F: Value<Type = Lambda<T, Bool>>> App<Empty<T>> for FilterOn<F>

type Result = Empty<T>

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

fn clone(&self) -> Empty<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 Empty<T>

fn default() -> Empty<T>

Returns the “default value” for a type.

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

type Type = List<T>

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