first-class-families-0.8.2.0: First-class type families

# first-class-families-0.8.2.0: First-class type families

A library for type-level programming.

See README.

Modules

first-class-families-0.8.2.0

- Fcf
  Submodules
  - Class
    Submodules
    - Fcf.Class.Bifunctor
    - Fcf.Class.Foldable
    - Fcf.Class.Functor
    - Fcf.Class.Monoid
      Submodules
      - Fcf.Class.Monoid.Types
    - Fcf.Class.Ord
  - Fcf.Classes
  - Fcf.Combinators
  - Fcf.Core
  - Data
    Submodules
    - Fcf.Data.Bool
    - Fcf.Data.Common
    - Fcf.Data.Function
    - Fcf.Data.List
    - Fcf.Data.Nat
    - Fcf.Data.Symbol Type-level strings
  - Fcf.Utils