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

Index - F

FacType.Data.Num
facType.Data.Num
False 
1 (Type/Class)Type.Data.Bool
2 (Data Constructor)Type.Data.Bool
falseType.Data.Bool
fromIntegerType.Data.Num
FromUnaryType.Data.Num.Decimal.Number, Type.Data.Num.Decimal