Crate fp_library 

A functional programming library for Rust featuring your favourite higher-kinded types and type classes.

Module Structure

• classes: Type classes (traits).
• types: Data types and their implementations.
• functions: Helper functions.
• brands, hkt, macros: Infrastructure.

Modules

brands

Higher-kinded representations of types.

classes

Type classes defining shared behavior across different types.

functions

Generic, helper free functions and re-exports of free versions of type class functions.

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

Concrete data types, their corresponding implementations and type aliases.

Macros

make_trait_kind

Generates a Kind trait of a specific arity.

make_type_apply

Generates an Apply type alias of a specific arity.