Module

Literals.Number

#FractionalPart

data FractionalPart :: NumberPartdata FractionalPart

Instances

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

#IntegerPart

data IntegerPart :: NumberPartdata IntegerPart

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 :: Symbol -> Typetype NumberLit sym = Literal Number sym

#Sign

data Sign :: NumberPartdata Sign

Instances

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

#Number

class Number :: Symbol -> Constraintclass Number (sym :: Symbol)

Instances

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

#Number'

class Number' :: Symbol -> Symbol -> NumberPart -> Constraintclass 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