Trait lubeck::prelude::GenType

pub trait GenType {
    type Type<T>;
}

Required Associated Types

type Type<T>

Implementations on Foreign Types

impl<T> GenType for Option<T>

type Type<U> = Option<U>

impl GenType for String

type Type<A> = Vec<A, Global>

impl<A> GenType for Vec<A>

type Type<T> = Vec<T, Global>

impl<A, E> GenType for Result<A, E>

type Type<T> = Result<T, E>

Implementors

impl<'a, M, A> GenType for OptionT<'a, M, A>where
    M: GenType<Type<Option<A>> = M> + Monad<'a, Option<A>>,
    A: 'a,

type Type<T> = <M as GenType>::Type<Option<T>>

impl<'a, R, A> GenType for Cont<'a, R, A>

type Type<B> = Cont<'a, R, B>

impl<'a, R, A> GenType for Reader<'a, R, A>where
    R: Clone,

type Type<B> = Reader<'a, R, B>

impl<'a, R, A> GenType for ReaderOptionT<'a, R, A>where
    R: Clone,

type Type<T> = ReaderOptionT<'a, R, T>

impl<'a, S, A> GenType for State<'a, S, A>where
    S: Clone + 'a,
    A: 'a,

type Type<B> = State<'a, S, B>

impl<'a, W, A> GenType for Writer<'a, W, A>where
    W: Monoid + 'a,
    A: 'a,

type Type<B> = Writer<'a, W, B>