Portability | non-portable (TypeOperators) |
---|---|
Stability | experimental |
Maintainer | alfonso.acosta@gmail.com |
Type-level numerical representations. Currently, only decimals are supported.
Decimal representation
Decimal digit zero
Decimal digit one
Decimal digit two
Decimal digit three
Decimal digit four
Decimal digit five
Decimal digit six
Decimal digit seven
Decimal digit eight
Decimal digit nine
Connective to glue digits together.
For example, D1 :* D0 :* D0
represents the decimal number 100
a :* b |
Typeable2 :* | |
(Show a, Show b) => Show (:* a b) | |
(Lift a, Lift b) => Lift (:* a b) | |
PosI x => PosI (:* x D9) | |
PosI x => PosI (:* x D8) | |
PosI x => PosI (:* x D7) | |
PosI x => PosI (:* x D6) | |
PosI x => PosI (:* x D5) | |
PosI x => PosI (:* x D4) | |
PosI x => PosI (:* x D3) | |
PosI x => PosI (:* x D2) | |
PosI x => PosI (:* x D1) | |
PosI x => PosI (:* x D0) | |
PosI x => NatI (:* x D9) | |
PosI x => NatI (:* x D8) | |
PosI x => NatI (:* x D7) | |
PosI x => NatI (:* x D6) | |
PosI x => NatI (:* x D5) | |
PosI x => NatI (:* x D4) | |
PosI x => NatI (:* x D3) | |
PosI x => NatI (:* x D2) | |
PosI x => NatI (:* x D1) | |
PosI x => NatI (:* x D0) |