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

Instances

IntegerT' x => IntegerT' (Neg' x)

data DecN Source

The terminator type for decimal digit lists.

Instances

Show DecN
IntegerT' DecN

data Dec0 Source

Instances

Show Dec0
Typeable Dec0
IntegerT' xh => IntegerT' (:. xh Dec0)

data Dec1 Source

Instances

Show Dec1
Typeable Dec1
IntegerT' xh => IntegerT' (:. xh Dec1)

data Dec2 Source

Instances

Show Dec2
Typeable Dec2
IntegerT' xh => IntegerT' (:. xh Dec2)

data Dec3 Source

Instances

Show Dec3
Typeable Dec3
IntegerT' xh => IntegerT' (:. xh Dec3)

data Dec4 Source

Instances

Show Dec4
Typeable Dec4
IntegerT' xh => IntegerT' (:. xh Dec4)

data Dec5 Source

Instances

Show Dec5
Typeable Dec5
IntegerT' xh => IntegerT' (:. xh Dec5)

data Dec6 Source

Instances

Show Dec6
Typeable Dec6
IntegerT' xh => IntegerT' (:. xh Dec6)

data Dec7 Source

Instances

Show Dec7
Typeable Dec7
IntegerT' xh => IntegerT' (:. xh Dec7)

data Dec8 Source

Instances

Show Dec8
Typeable Dec8
IntegerT' xh => IntegerT' (:. xh Dec8)

data Dec9 Source

Instances

Show Dec9
Typeable Dec9
IntegerT' xh => IntegerT' (:. xh Dec9)