Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Exports relevant OpenMath symbols
Documentation
plusSymbol :: Symbol Source #
timesSymbol :: Symbol Source #
minusSymbol :: Symbol Source #
rootSymbol :: Symbol Source #
powerSymbol :: Symbol Source #
diffSymbol :: Symbol Source #
listSymbol :: Symbol Source #
asinSymbol :: Symbol Source #
atanSymbol :: Symbol Source #
acosSymbol :: Symbol Source #
sinhSymbol :: Symbol Source #
tanhSymbol :: Symbol Source #
coshSymbol :: Symbol Source #
asinhSymbol :: Symbol Source #
atanhSymbol :: Symbol Source #
acoshSymbol :: Symbol Source #
fcompSymbol :: Symbol Source #
isPlus :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isTimes :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isMinus :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isDivide :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isPower :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isNegate :: (WithFunctions a, MonadPlus m) => a -> m a Source #
isRoot :: (WithFunctions a, MonadPlus m) => a -> m (a, a) Source #
isPowerSymbol :: Symbol -> Bool Source #
isRootSymbol :: Symbol -> Bool Source #
isLogSymbol :: Symbol -> Bool Source #
isDivideSymbol :: Symbol -> Bool Source #
isMixedFractionSymbol :: Symbol -> Bool Source #
(^) :: WithFunctions a => a -> a -> a infixr 8 Source #
root :: WithFunctions a => a -> a -> a Source #