Safe Haskell	Safe
Language	Haskell2010

Type.Data.Num.Decimal.Digit

Documentation

newtype Singleton d Source #

Constructors

Singleton Int

singleton :: C d => Singleton d Source #

class C d where Source #

Methods

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

Instances

C Dec9 Source #
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 Source #
C Dec8 Source #
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 Source #
C Dec7 Source #
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 Source #
C Dec6 Source #
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 Source #
C Dec5 Source #
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 Source #
C Dec4 Source #
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 Source #
C Dec3 Source #
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 Source #
C Dec2 Source #
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 Source #
C Dec1 Source #
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 Source #
C Dec0 Source #
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 Source #

class C d => Pos d where Source #

Methods

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

Instances

Pos Dec9 Source #
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 Source #
Pos Dec8 Source #
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 Source #
Pos Dec7 Source #
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 Source #
Pos Dec6 Source #
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 Source #
Pos Dec5 Source #
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 Source #
Pos Dec4 Source #
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 Source #
Pos Dec3 Source #
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 Source #
Pos Dec2 Source #
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 Source #
Pos Dec1 Source #
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 Source #

data Dec0 Source #

Instances

Show Dec0 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec0 -> ShowS # show :: Dec0 -> String # showList :: [Dec0] -> ShowS #
C Dec0 Source #
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 Source #
type ToUnary Dec0 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec0 = U0

data Dec1 Source #

Instances

Show Dec1 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec1 -> ShowS # show :: Dec1 -> String # showList :: [Dec1] -> ShowS #
Pos Dec1 Source #
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 Source #
C Dec1 Source #
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 Source #
type ToUnary Dec1 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec1 = U1

data Dec2 Source #

Instances

Show Dec2 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec2 -> ShowS # show :: Dec2 -> String # showList :: [Dec2] -> ShowS #
Pos Dec2 Source #
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 Source #
C Dec2 Source #
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 Source #
type ToUnary Dec2 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec2 = U2

data Dec3 Source #

Instances

Show Dec3 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec3 -> ShowS # show :: Dec3 -> String # showList :: [Dec3] -> ShowS #
Pos Dec3 Source #
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 Source #
C Dec3 Source #
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 Source #
type ToUnary Dec3 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec3 = U3

data Dec4 Source #

Instances

Show Dec4 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec4 -> ShowS # show :: Dec4 -> String # showList :: [Dec4] -> ShowS #
Pos Dec4 Source #
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 Source #
C Dec4 Source #
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 Source #
type ToUnary Dec4 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec4 = U4

data Dec5 Source #

Instances

Show Dec5 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec5 -> ShowS # show :: Dec5 -> String # showList :: [Dec5] -> ShowS #
Pos Dec5 Source #
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 Source #
C Dec5 Source #
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 Source #
type ToUnary Dec5 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec5 = U5

data Dec6 Source #

Instances

Show Dec6 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec6 -> ShowS # show :: Dec6 -> String # showList :: [Dec6] -> ShowS #
Pos Dec6 Source #
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 Source #
C Dec6 Source #
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 Source #
type ToUnary Dec6 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec6 = U6

data Dec7 Source #

Instances

Show Dec7 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec7 -> ShowS # show :: Dec7 -> String # showList :: [Dec7] -> ShowS #
Pos Dec7 Source #
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 Source #
C Dec7 Source #
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 Source #
type ToUnary Dec7 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec7 = U7

data Dec8 Source #

Instances

Show Dec8 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec8 -> ShowS # show :: Dec8 -> String # showList :: [Dec8] -> ShowS #
Pos Dec8 Source #
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 Source #
C Dec8 Source #
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 Source #
type ToUnary Dec8 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec8 = U8

data Dec9 Source #

Instances

Show Dec9 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit Methods showsPrec :: Int -> Dec9 -> ShowS # show :: Dec9 -> String # showList :: [Dec9] -> ShowS #
Pos Dec9 Source #
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 Source #
C Dec9 Source #
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 Source #
type ToUnary Dec9 Source #
Instance details Defined in Type.Data.Num.Decimal.Digit type ToUnary Dec9 = U9

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

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

type family ToUnary n Source #

Instances

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