numbers-2007.4.29: Various number types

Data.Number.Symbolic

Documentation

data Sym a Source

Instances

Enum a => Enum (Sym a) 
Eq a => Eq (Sym a) 
Floating a => Floating (Sym a) 
Fractional a => Fractional (Sym a) 
Integral a => Integral (Sym a) 
Num a => Num (Sym a) 
Ord a => Ord (Sym a) 
Real a => Real (Sym a) 
RealFloat a => RealFloat (Sym a) 
RealFrac a => RealFrac (Sym a) 
Show a => Show (Sym a) 

con :: a -> Sym aSource

subst :: Num a => String -> Sym a -> Sym a -> Sym aSource

unSym :: Show a => Sym a -> aSource