Crate fp_library

Modules§

brands: Higher-kinded representation of types.
functions: Generic, helper free functions, combinators and re-exports of typeclass functions that dispatch to instance methods.
hkt: Higher-kinded types using type-level defunctionalisation based on Yallop and White’s Lightweight higher-kinded polymorphism.
macros: Macros.
typeclasses: Typeclasses.
types: Types.

Macros§

impl_brand: Generates a brand type and its BrandN trait implementation.
make_trait_brand: Generates a BrandN trait of a specific arity and its corresponding blanket implementation.
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.