Trait HKT 

pub trait HKT<A, B> {
    type URI;
    type Target;
}

Required Associated Types

type URI

type Target

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<A, B, E> HKT<A, B> for Result<A, E>

type URI = Result<A, E>

type Target = Result<B, E>

impl<A, B> HKT<A, B> for Option<A>

type URI = Option<A>

type Target = Option<B>

Implementors