Data.Number.Symbolic

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

data Sym a

Symbolic numbers over some base type for the literals.

Instances

Enum a => Enum (Sym a)

Eq a => Eq (Sym a)

(Fractional (Sym a), Floating a, Eq a) => Floating (Sym a)

(Num (Sym a), Fractional a, Eq a) => Fractional (Sym a)

(Real (Sym a), Enum (Sym a), Integral a) => Integral (Sym a)

(Num a, Eq a) => Num (Sym a)

(Eq (Sym a), Ord a) => Ord (Sym a)

(Num (Sym a), Ord (Sym a), Real a) => Real (Sym a)

(RealFrac (Sym a), Floating (Sym a), RealFloat a, Show a) => RealFloat (Sym a)

(Real (Sym a), Fractional (Sym a), RealFrac a) => RealFrac (Sym a)

Show a => Show (Sym a)

var :: String -> Sym a

Create a variable.

con :: a -> Sym a

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

subst :: (Num a, Eq a) => String -> Sym a -> Sym a -> Sym a

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