Domain.Math.Expr.Symbols

Exports relevant OpenMath symbols

Documentation

plusSymbol :: Symbol

timesSymbol :: Symbol

minusSymbol :: Symbol

divideSymbol :: Symbol

rationalSymbol :: Symbol

rootSymbol :: Symbol

gcdSymbol :: Symbol

lcmSymbol :: Symbol

powerSymbol :: Symbol

negateSymbol :: Symbol

sinSymbol :: Symbol

cosSymbol :: Symbol

lnSymbol :: Symbol

diffSymbol :: Symbol

piSymbol :: Symbol

lambdaSymbol :: Symbol

listSymbol :: Symbol

absSymbol :: Symbol

signumSymbol :: Symbol

logSymbol :: Symbol

expSymbol :: Symbol

tanSymbol :: Symbol

asinSymbol :: Symbol

atanSymbol :: Symbol

acosSymbol :: Symbol

sinhSymbol :: Symbol

tanhSymbol :: Symbol

coshSymbol :: Symbol

asinhSymbol :: Symbol

atanhSymbol :: Symbol

acoshSymbol :: Symbol

bottomSymbol :: Symbol

fcompSymbol :: Symbol

mixedFractionSymbol :: Symbol

isPlus :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isTimes :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isMinus :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isDivide :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isPower :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isNegate :: (WithFunctions a, MonadPlus m) => a -> m a

isRoot :: (WithFunctions a, MonadPlus m) => a -> m (a, a)

isPowerSymbol :: Symbol -> Bool

isRootSymbol :: Symbol -> Bool

isLogSymbol :: Symbol -> Bool

isDivideSymbol :: Symbol -> Bool

isMixedFractionSymbol :: Symbol -> Bool

(^) :: WithFunctions a => a -> a -> a infixr 8

root :: WithFunctions a => a -> a -> a

mixed :: (Num a, WithFunctions a) => Integer -> Integer -> Integer -> a