Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Symbolic number, i.e., these are not numbers at all, but just build a representation of the expressions. This implementation is incomplete in that it allows comnstruction, but not deconstruction of the expressions. It's mainly useful for debugging.
Documentation
Symbolic numbers over some base type for the literals.
Enum a => Enum (Sym a) Source # | |
Eq a => Eq (Sym a) Source # | |
(Floating a, Eq a) => Floating (Sym a) Source # | |
(Fractional a, Eq a) => Fractional (Sym a) Source # | |
Integral a => Integral (Sym a) Source # | |
(Num a, Eq a) => Num (Sym a) Source # | |
Ord a => Ord (Sym a) Source # | |
Real a => Real (Sym a) Source # | |
(RealFloat a, Show a) => RealFloat (Sym a) Source # | |
RealFrac a => RealFrac (Sym a) Source # | |
Show a => Show (Sym a) Source # | |