Trait HKT 

pub trait HKT<T> {
    type Cont<_T>;
}

The HKT trait defines an interface for higher-kinded types (HKT).

Required Associated Types

type Cont<_T>

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.

Implementations on Foreign Types

impl<K, V> HKT<V> for BTreeMap<K, V>

type Cont<U> = BTreeMap<K, U>

impl<K, V> HKT<V> for HashMap<K, V>

type Cont<U> = HashMap<K, U>

impl<T> HKT<T> for Option<T>

type Cont<_T> = Option<_T>

impl<T> HKT<T> for Box<T>

type Cont<_T> = Box<_T>

impl<T> HKT<T> for BinaryHeap<T>

type Cont<_T> = BinaryHeap<_T>

impl<T> HKT<T> for BTreeSet<T>

type Cont<_T> = BTreeSet<_T>

impl<T> HKT<T> for LinkedList<T>

type Cont<_T> = LinkedList<_T>

impl<T> HKT<T> for VecDeque<T>

type Cont<_T> = VecDeque<_T>

impl<T> HKT<T> for Rc<T>

type Cont<_T> = Rc<_T>

impl<T> HKT<T> for Weak<T>

type Cont<_T> = Weak<_T>

impl<T> HKT<T> for Arc<T>

type Cont<_T> = Arc<_T>

impl<T> HKT<T> for Vec<T>

type Cont<_T> = Vec<_T>

impl<T> HKT<T> for OnceCell<T>

type Cont<_T> = OnceCell<_T>

impl<T> HKT<T> for Cell<T>

type Cont<_T> = Cell<_T>

impl<T> HKT<T> for RefCell<T>

type Cont<_T> = RefCell<_T>

impl<T> HKT<T> for LazyLock<T>

type Cont<_T> = LazyLock<_T>

impl<T> HKT<T> for Mutex<T>

type Cont<_T> = Mutex<_T>

impl<T> HKT<T> for RwLock<T>

type Cont<_T> = RwLock<_T>

impl<V> HKT<V> for HashSet<V>

type Cont<_T> = HashSet<_T>

Implementors