Literals.Int

type IntLit sym = Literal Int sym

data IntegerPart :: IntPart

Instances

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

data Sign :: IntPart

Instances

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

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 IntPart