Trait Monad 

pub trait Monad: Type {
    type Wrapped: Type;
    type HKT<A: Type>: Type + Monad<Wrapped = A>;
}

Required Associated Types

type Wrapped: Type

type HKT<A: Type>: Type + Monad<Wrapped = A>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T: Type> Monad for List<T>

type Wrapped = T

type HKT<A: Type> = List<A>

impl<T: Type> Monad for Maybe<T>

type Wrapped = T

type HKT<A: Type> = Maybe<A>