Trait naan::HKT1

pub trait HKT1 {
    type T<A>;
}

A marker that points to a type with 1 generic parameter.

use naan::prelude::*;

enum Maybe<A> {
  Just(A),
  Nothing,
}

struct MaybeHKT;

impl HKT1 for MaybeHKT {
  type T<A> = Maybe<A>;
}

Required Associated Types

type T<A>

The generic type

Implementors

impl HKT1 for Id

type T<A> = Id<A>

impl HKT1 for Option

type T<A> = Option<A>

impl HKT1 for Vec

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

impl HKT1 for IO

type T<A> = IO<A>

impl<E> HKT1 for ResultOk<E>

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

impl<K> HKT1 for BTreeMapValues<K>where K: Ord,

type T<A> = BTreeMap<K, A, Global>

impl<K> HKT1 for HashMapValues<K>where K: Hash + Eq,

type T<A> = HashMap<K, A, RandomState>

impl<M> HKT1 for JoinHKT<M>where M: HKT2,

type T<A> = Join<M, <M as HKT2>::T<A, A>, A>

impl<const N: usize> HKT1 for ArrayVec<N>

type T<A> = ArrayVec<[Option<A>; N]>