Module

Literals

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

Re-exports from Literals.Boolean

#BooleanLit Source

type BooleanLit sym = Literal Boolean sym

#true_ Source

true_ :: BooleanLit "true"

#false_ Source

false_ :: BooleanLit "false"

Re-exports from Literals.Int

#IntLit Source

type IntLit sym = Literal Int sym

#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

Re-exports from Literals.Literal

#Literal Source

data Literal :: Type -> Symbol -> Type

Instances

Eq (Literal typ sym)
(Show typ) => Show (Literal typ sym)

#toValue Source

toValue :: forall a s. Literal a s -> a

Re-exports from Literals.Number

#NumberLit Source

type NumberLit sym = Literal Number sym

#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

#numberLit Source

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

Re-exports from Literals.String

#StringLit Source

type StringLit sym = Literal String sym

#stringLit Source

stringLit :: forall sym. IsSymbol sym => StringLit sym

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