Module

Literals.Number

Package: purescript-literals
Repository: jvliwanag/purescript-literals

#FractionalPart Source

data FractionalPart :: NumberPart

Instances

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

#IntegerPart Source

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 Source

type NumberLit sym = Literal Number sym

#Sign Source

data Sign :: NumberPart

Instances

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

#Number Source

class Number (sym :: Symbol)

Instances

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

#Number' Source

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 Source

data NumberPart :: Type

#numberLit Source

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

Modules: Literals; Literals.Boolean; Literals.Int; Literals.Literal; Literals.Null; Literals.Number; Literals.String; Literals.Undefined