Crate fp_library

Modules§

aliases: Type aliases.
brands: Higher-kinded representation of types.
functions: Generic, helper free functions, combinators and re-exports of typeclass free functions that dispatch to associated functions of typeclass instances.
hkt: 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.
typeclasses: Typeclasses.
types: Data types and their corresponding implementations.

make_trait_kind: Generates a KindN trait of a specific arity and its corresponding blanket implementation.
make_type_apply: Generates an ApplyN type alias of a specific arity.