Modules§
- brands
- Higher-kinded representations of types.
- classes
- Type classes.
- functions
- Generic, helper free functions, combinators and re-exports of free versions of type class functions that dispatch to associated functions of type class instances.
- hkt
- Simulates higher-kinded types using type-level defunctionalisation based on Yallop and White’s Lightweight higher-kinded polymorphism.
- macros
- Macros for generating higher-kinded type traits and implementations.
- types
- Data types and their corresponding implementations.
Macros§
- make_
trait_ kind - Generates a
Kind
trait of a specific arity. - make_
type_ apply - Generates an
Apply
type alias of a specific arity.