Module

Literals.Int

Package: purescript-literals
Repository: rowtype-yoga/purescript-literals

#IntLit Source

type IntLit :: Symbol -> Typetype IntLit sym = Literal Int sym

#IntegerPart Source

data IntegerPart :: IntPartdata IntegerPart

Instances

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

#Sign Source

data Sign :: IntPartdata Sign

Instances

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

#Digit Source

class Digit :: Symbol -> Constraintclass 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 :: Symbol -> Constraintclass Int (sym :: Symbol)

Instances

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

#Int' Source

class Int' :: Symbol -> Symbol -> IntPart -> Constraintclass 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

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