Module hkt

Contains the macro to generate boilerplate for HKTs and the generated code.

Traits

Brand1

Brand trait for types with kind "* -> *".

Brand2

Brand trait for types with kind "* -> * -> *".

Brand3

Brand trait for types with kind "* -> * -> * -> *".

Brand4

Brand trait for types with kind "* -> * -> * -> * -> *".

Kind1

Trait for brands of types of kind "* -> *".

Kind2

Trait for brands of types of kind "* -> * -> *".

Kind3

Trait for brands of types of kind "* -> * -> * -> *".

Kind4

Trait for brands of types of kind "* -> * -> * -> * -> *".

Type Aliases

Apply1

Alias for types of kind "* -> *".

Apply2

Alias for types of kind "* -> * -> *".

Apply3

Alias for types of kind "* -> * -> * -> *".

Apply4

Alias for types of kind "* -> * -> * -> * -> *".