Crate fp_library

Modules

brands

Higher-kinded representation of types.

functions

Generic, free helper 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

generate_kind

Generates boilerplate for HKTs of a specific arity.

impl_brand

Generates a brand type and its BrandN trait implementation.