Module

Literals.Int

#IntLit

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

#IntegerPart

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

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

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

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

Instances

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

#Int'

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

intLit :: forall sym. IsSymbol sym => Int sym => IntLit sym

#IntPart

data IntPart

Modules