Crate fp_library

Crate fp_library 

Source

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.