Trait Kind1

pub trait Kind1<A> {
    type Output;
}

Trait for brands of types of kind "* -> *".

Required Associated Types

type Output

Implementors

impl<A> Kind1<A> for OptionBrand

type Output = Option<A>

impl<A> Kind1<A> for SoloBrand

type Output = Solo<A>

impl<A> Kind1<A> for VecBrand

type Output = Vec<A>

impl<A, E> Kind1<A> for ResultWithErrBrand<E>

type Output = Result<A, E>

impl<A, T> Kind1<A> for ResultWithOkBrand<T>

type Output = Result<T, A>

impl<First, Second> Kind1<First> for PairWithSecondBrand<Second>

type Output = Pair<First, Second>

impl<First, Second> Kind1<Second> for PairWithFirstBrand<First>

type Output = Pair<First, Second>