Module

Data.Typelevel.Num.Reps

Package
purescript-typelevel
Repository
bodil/purescript-typelevel

#D0 Source

data D0

Instances

#D1 Source

data D1

Instances

#D2 Source

data D2

Instances

#D3 Source

data D3

Instances

#D4 Source

data D4

Instances

#D5 Source

data D5

Instances

#D6 Source

data D6

Instances

#D7 Source

data D7

Instances

#D8 Source

data D8

Instances

#D9 Source

data D9

Instances

#NumCons Source

data NumCons a b

Constructors

#type (:*) Source

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

Modules
Data.Typelevel.Bool
Data.Typelevel.Num
Data.Typelevel.Num.Aliases
Data.Typelevel.Num.Ops
Data.Typelevel.Num.Reps
Data.Typelevel.Num.Sets
Data.Typelevel.Undefined