numbers-2008.4.20: Various number types Source code Contents Index

Data.Number.Symbolic

Description

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.

Synopsis

data Sym a var :: String -> Sym a con :: a -> Sym a subst :: Num a => String -> Sym a -> Sym a -> Sym a unSym :: Show a => Sym a -> a

Documentation

data Sym a Source

Symbolic numbers over some base type for the literals. 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)

var :: String -> Sym a Source

Create a variable.

con :: a -> Sym a Source

Create a constant (useful when it is not a literal).

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

The expression subst x v e substitutes the expression v for each occurence of the variable x in e.

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

Produced by Haddock version 2.1.0