Portability	non-portable (type families, requires ghc >= 6.9)
Stability	experimental
Maintainer	pgavin@gmail.com
Safe Haskell	None

Types.Data.Num.Decimal.Digits

Description

Type-level numerical operations using type families.

Synopsis

Documentation

data Decimal Source

Representation name for decimal type level numbers.

Instances

IntegerR Decimal

decimal :: Decimal Source

data Dec x Source

The wrapper type for decimal type level numbers.

Instances

IntegerT' x => IntegerT (Dec x)

data Neg' x Source

data DecN Source

The terminator type for decimal digit lists.

Instances

Show DecN

data Dec0 Source

Instances

Show Dec0
Typeable Dec0

data Dec1 Source

Instances

Show Dec1
Typeable Dec1

data Dec2 Source

Instances

Show Dec2
Typeable Dec2

data Dec3 Source

Instances

Show Dec3
Typeable Dec3

data Dec4 Source

Instances

Show Dec4
Typeable Dec4

data Dec5 Source

Instances

Show Dec5
Typeable Dec5

data Dec6 Source

Instances

Show Dec6
Typeable Dec6

data Dec7 Source

Instances

Show Dec7
Typeable Dec7

data Dec8 Source

Instances

Show Dec8
Typeable Dec8

data Dec9 Source

Instances

Show Dec9
Typeable Dec9