first-class-families-0.8.1.0: First-class type families

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