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

Index - L

leType.Data.Ord
LETType.Data.Ord
Log2Ceil 
1 (Type/Class)Type.Data.Num
2 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
log2CeilType.Data.Num
LTType.Data.Ord
ltType.Data.Ord
LTTType.Data.Ord