Safe Haskell	Safe
Language	Haskell2010

Type.Data.Num.Decimal.Digit

Documentation

newtype Singleton d #

Constructors

Singleton Int

singleton :: C d => Singleton d #

class C d where #

Methods

switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f d #

Instances

C Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec9 #
C Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec8 #
C Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec7 #
C Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec6 #
C Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec5 #
C Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec4 #
C Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec3 #
C Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec2 #
C Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec1 #
C Dec0 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec0 #

class C d => Pos d where #

Methods

switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f d #

Instances

Pos Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec9 #
Pos Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec8 #
Pos Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec7 #
Pos Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec6 #
Pos Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec5 #
Pos Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec4 #
Pos Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec3 #
Pos Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec2 #
Pos Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec1 #

data Dec0 #

Instances

Show Dec0 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec0 -> ShowS # show :: Dec0 -> String # showList :: [Dec0] -> ShowS #
C Dec0 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec0 #
type ToUnary Dec0 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec0 = U0

data Dec1 #

Instances

Show Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec1 -> ShowS # show :: Dec1 -> String # showList :: [Dec1] -> ShowS #
Pos Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec1 #
C Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec1 #
type ToUnary Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec1 = U1

data Dec2 #

Instances

Show Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec2 -> ShowS # show :: Dec2 -> String # showList :: [Dec2] -> ShowS #
Pos Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec2 #
C Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec2 #
type ToUnary Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec2 = U2

data Dec3 #

Instances

Show Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec3 -> ShowS # show :: Dec3 -> String # showList :: [Dec3] -> ShowS #
Pos Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec3 #
C Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec3 #
type ToUnary Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec3 = U3

data Dec4 #

Instances

Show Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec4 -> ShowS # show :: Dec4 -> String # showList :: [Dec4] -> ShowS #
Pos Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec4 #
C Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec4 #
type ToUnary Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec4 = U4

data Dec5 #

Instances

Show Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec5 -> ShowS # show :: Dec5 -> String # showList :: [Dec5] -> ShowS #
Pos Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec5 #
C Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec5 #
type ToUnary Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec5 = U5

data Dec6 #

Instances

Show Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec6 -> ShowS # show :: Dec6 -> String # showList :: [Dec6] -> ShowS #
Pos Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec6 #
C Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec6 #
type ToUnary Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec6 = U6

data Dec7 #

Instances

Show Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec7 -> ShowS # show :: Dec7 -> String # showList :: [Dec7] -> ShowS #
Pos Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec7 #
C Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec7 #
type ToUnary Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec7 = U7

data Dec8 #

Instances

Show Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec8 -> ShowS # show :: Dec8 -> String # showList :: [Dec8] -> ShowS #
Pos Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec8 #
C Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec8 #
type ToUnary Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec8 = U8

data Dec9 #

Instances

Show Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec9 -> ShowS # show :: Dec9 -> String # showList :: [Dec9] -> ShowS #
Pos Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switchPos :: f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec9 #
C Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods switch :: f Dec0 -> f Dec1 -> f Dec2 -> f Dec3 -> f Dec4 -> f Dec5 -> f Dec6 -> f Dec7 -> f Dec8 -> f Dec9 -> f Dec9 #
type ToUnary Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec9 = U9

reify :: Integer -> (forall d. C d => Proxy d -> w) -> w #

reifyPos :: Integer -> (forall d. Pos d => Proxy d -> w) -> w #

type family ToUnary n #

Instances

type ToUnary Dec9 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec9 = U9
type ToUnary Dec8 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec8 = U8
type ToUnary Dec7 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec7 = U7
type ToUnary Dec6 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec6 = U6
type ToUnary Dec5 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec5 = U5
type ToUnary Dec4 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec4 = U4
type ToUnary Dec3 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec3 = U3
type ToUnary Dec2 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec2 = U2
type ToUnary Dec1 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec1 = U1
type ToUnary Dec0 #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec0 = U0