Literals

type BooleanLit sym = Literal Boolean sym

true_ :: BooleanLit "true"

false_ :: BooleanLit "false"

type IntLit sym = Literal Int sym

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"

class Int (sym :: Symbol) 

Instances

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

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 :: forall sym. IsSymbol sym => Int sym => IntLit sym

data Literal :: Type -> Symbol -> Type

Instances

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

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

type NumberLit sym = Literal Number sym

class Number (sym :: Symbol) 

Instances

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

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 :: forall sym. IsSymbol sym => Number sym => NumberLit sym

type StringLit sym = Literal String sym

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