tfp-0.8: Type-level integers, booleans, lists using type families

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

Types.Base

Description

Type-level numerical operations using type families.

Documentation

type family Id x Source

_T :: aSource