tfp-1.0.1.1: Type-level integers, booleans, lists using type families

Safe HaskellSafe
LanguageHaskell2010

Type.Data.Num.Decimal.Digit

Documentation

newtype Singleton d Source #

Constructors

Singleton Int 

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