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

Safe HaskellNone

Types.Data.Num.Decimal.Literals

Documentation

type DN8727 = Dec (Neg' (:. (:. (:. (:. DecN Dec8) Dec7)