Module

Literals.Int

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

#IntLit Source

type IntLit sym = Literal Int sym

#IntegerPart Source

data IntegerPart :: IntPart

Instances

(Digit h) => Int' h "" IntegerPart
(Digit h, Cons h' t' t, Int' h' t' IntegerPart) => Int' h t IntegerPart

#Sign Source

data Sign :: IntPart

Instances

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

#Digit Source

class Digit (s :: Symbol)

Instances

Digit "0"
Digit "1"
Digit "2"
Digit "3"
Digit "4"
Digit "5"
Digit "6"
Digit "7"
Digit "8"
Digit "9"

#Int Source

class Int (sym :: Symbol)

Instances

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

#Int' Source

class Int' (head :: Symbol) (tail :: Symbol) (part :: IntPart)

Instances

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

#intLit Source

intLit :: forall sym. IsSymbol sym => Int sym => IntLit sym

#IntPart Source

data IntPart :: Type

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