Type.Data.Num.Decimal.Number

data Decimal

decimal

data Dec x

data Zero

data Pos x xs

data Neg x xs

data EndAsc

data ds :< d

data EndDesc

data d :> ds

data Singleton x

singleton

singletonFromProxy

integerFromSingleton

integralFromSingleton

integralFromProxy

class Integer n

class Natural n

class Positive n

class Negative n

reifyIntegral

reifyNatural

reifyPositive

reifyNegative

reifyPos

reifyNeg

class Digits xs

type family x :+: y

type x :-: y

type family x :*: y

type family Pred x

type family Succ x

type family Compare x y

type family IsEven x

type family Pow2 x

type family Log2Ceil x

class x :<: y

class x :<=: y

class x :==: y

class x :>: y

class x :>=: y

class x :/=: y

type family FromUnary n

type family ToUnary n

type family ToUnaryAcc m n

type UnaryAcc m x