Literals

type BooleanLit :: Symbol -> Typetype BooleanLit sym = Literal Boolean sym

true_ :: BooleanLit "true"

false_ :: BooleanLit "false"

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

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"

class Int :: Symbol -> Constraintclass Int (sym :: Symbol) 

Instances

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

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

data Literal :: Type -> Symbol -> Typedata Literal t0 t1

Instances

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

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

type NumberLit :: Symbol -> Typetype NumberLit sym = Literal Number sym

class Number :: Symbol -> Constraintclass Number (sym :: Symbol) 

Instances

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

class Number' :: Symbol -> Symbol -> NumberPart -> Constraintclass 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 :: Symbol -> Typetype StringLit sym = Literal String sym

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