Module
Literals.Number
- Package
- purescript-literals
- Repository
- rowtype-yoga/purescript-literals
#FractionalPart Source
data FractionalPart :: NumberPart
data FractionalPart
Instances
(Digit h) => Number' h "" FractionalPart
(Digit h, Cons h' t' t, Number' h' t' FractionalPart) => Number' h t FractionalPart
#IntegerPart Source
data IntegerPart :: NumberPart
data IntegerPart
Instances
(Cons h' t' t, Number' h' t' FractionalPart) => Number' "." t IntegerPart
(Digit h, Cons h' t' t, Number' h' t' IntegerPart) => Number' h t IntegerPart
#Sign Source
data Sign :: NumberPart
data Sign
Instances
(Cons h' t' t, Number' h' t' IntegerPart) => Number' "-" t Sign
(Number' h t IntegerPart) => Number' h t Sign
#Number' Source
class Number' :: Symbol -> Symbol -> NumberPart -> Constraint
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
#NumberPart Source
data NumberPart