Module

Data.Typelevel.Num.Reps

#D0

data D0

Instances

#D1

data D1

Instances

#D2

data D2

Instances

#D3

data D3

Instances

#D4

data D4

Instances

#D5

data D5

Instances

#D6

data D6

Instances

#D7

data D7

Instances

#D8

data D8

Instances

#D9

data D9

Instances

#d0

d0 :: D0

#d1

d1 :: D1

#d2

d2 :: D2

#d3

d3 :: D3

#d4

d4 :: D4

#d5

d5 :: D5

#d6

d6 :: D6

#d7

d7 :: D7

#d8

d8 :: D8

#d9

d9 :: D9

#type (:*)

Operator alias for Data.Typelevel.Num.Reps.NumCons (non-associative / precedence 6)

#NumCons

data NumCons a b

Constructors

Instances

Modules