Module

Literals.Number

#FractionalPart

data FractionalPart :: NumberPart

Instances

(Digit h) => Number' h "" FractionalPart
(Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart

#IntegerPart

data IntegerPart :: NumberPart

Instances

(Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
(Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart

#NumberLit

type NumberLit sym = Literal Number sym

#Sign

data Sign :: NumberPart

Instances

(Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign
(Number' h t IntegerPart) => Number' h t Sign

#Number

class Number (sym :: Symbol)

Instances

(Number' h t Sign, Cons h t s) => Number s

#Number'

class Number' (head :: Symbol) (tail :: Symbol) (part :: NumberPart)

Instances

(Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign
(Number' h t IntegerPart) => Number' h t Sign
(Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
(Digit h) => Number' h "" FractionalPart
(Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart
(Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart

#NumberPart

data NumberPart

#numberLit

numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym

Modules