Trait Value 

pub trait Value {
    type Type: Type;
}

Required Associated Types

type Type: Type

Implementations on Foreign Types

impl Value for ()

type Type = ()

impl<TA: Type, TB: Type, A: Value<Type = TA>, B: Value<Type = TB>> Value for (A, B)

type Type = (TA, TB)

Implementors

impl Value for False

type Type = Bool

impl Value for Neg

type Type = Lambda<Bool, Bool>

impl Value for True

type Type = Bool

impl Value for Z

type Type = Nat

impl<A: Type, B: Type> Value for Fst<A, B>

type Type = Lambda<(A, B), A>

impl<A: Type, B: Type> Value for Snd<A, B>

type Type = Lambda<(A, B), B>

impl<A: Type, B: Type, C: Type, F: Value<Type = Lambda<A, B>>, G: Value<Type = Lambda<B, C>>> Value for Compose<F, G>

type Type = Lambda<A, C>

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<A: Type, B: Type, T: Type + Functor<A>, F: Value<Type = Lambda<A, B>>> Value for MapOn<T, F>

type Type = Lambda<T, <T as Functor<A>>::HKT<B>>

impl<A: Value<Type = Nat>> Value for AddOn<A>

type Type = Lambda<Nat, Nat>

impl<MT: Monad> Value for Pure<MT>

type Type = Lambda<<MT as Monad>::Wrapped, MT>

impl<T: Eq, I: Value<Type = T>> Value for EqTo<I>

type Type = Lambda<T, Bool>

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

type Type = List<T>

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

type Type = Lambda<Maybe<Maybe<T>>, Maybe<T>>

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

type Type = Lambda<T, T>

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

type Type = Lambda<Maybe<T>, Bool>

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

type Type = Maybe<T>

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

type Type = Lambda<Maybe<T>, List<T>>

impl<T: Type, A: Type, B: Type, Fa: Value<Type = Lambda<A, T>>, Pa: Value<Type = A>, Fb: Value<Type = Lambda<B, T>>, Pb: Value<Type = B>> Value for LambdaBranch<Fa, Pa, Fb, Pb>

type Type = Lambda<Bool, T>

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

type Type = Lambda<List<T>, List<T>>

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

type Type = Lambda<List<T>, Bool>

impl<T: Type, I: Value<Type = T>> Value for PushTo<I>

type Type = Lambda<List<T>, List<T>>

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

type Type = List<T>

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

type Type = Lambda<List<T>, List<T>>

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

type Type = Maybe<T>

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

type Type = Lambda<Bool, Maybe<T>>

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

type Type = Lambda<Bool, Maybe<T>>

impl<T: Value<Type = Bool>> Value for OrOn<T>

type Type = Lambda<Bool, Bool>

impl<T: Value<Type = Nat>> Value for S<T>

type Type = Nat