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

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.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

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result