tfp-0.1: Type-level programming library using type families

Portabilitynon-portable (type families, requires ghc >= 6.9)
Stabilityexperimental
Maintainerpgavin@gmail.com

Types.Base

Description

Type-level numerical operations using type families.

Documentation

type family Id x Source

_T :: aSource