first-class-families-0.8.1.0: First-class type families
Contents
Index
first-class-families-0.8.1.0: First-class type families
A library for type-level programming.
See README.
Modules
first-class-families-0.8.1.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