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

Safe HaskellNone

Types.Data.Num.Decimal.Literals

Documentation

type DN8731 = Dec (Neg' (:. (:. (:. (:. DecN Dec8) Dec7) Dec3) Dec1))