Expand description
Modules§
- brands
- Higher-kinded representations of types.
- classes
- Functional programming type classes.
- functions
- Generic, helper free functions and re-exports of free versions of type class functions.
- kinds
- Simulates higher-kinded types using type-level defunctionalisation based on Yallop and White’s Lightweight higher-kinded polymorphism.
- types
- Concrete data types, their corresponding implementations and type aliases.