pub trait HKT1 {
type T<A>;
}
Expand description
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>;
}
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>;
}