Domain.Math.Numeric.Rules

Documentation

alg :: String

calcRuleName :: String -> String -> String

calcBinRule :: String -> (a -> a -> a) -> (e -> Maybe (e, e)) -> String -> View e a -> Rule e

calcPlusWith :: Num a => String -> View Expr a -> Rule Expr

calcMinusWith :: Num a => String -> View Expr a -> Rule Expr

calcTimesWith :: Num a => String -> View Expr a -> Rule Expr

calcDivisionWith :: Integral a => String -> View Expr a -> Rule Expr

negateZero :: Rule Expr

doubleNegate :: Rule Expr

plusNegateLeft :: Rule Expr

plusNegateRight :: Rule Expr

minusNegateLeft :: Rule Expr

minusNegateRight :: Rule Expr

timesNegateLeft :: Rule Expr

timesNegateRight :: Rule Expr

divisionNegateLeft :: Rule Expr

divisionNegateRight :: Rule Expr

divisionNumerator :: Rule Expr

divisionDenominator :: Rule Expr

simplerFraction :: Rule Expr

fractionPlus :: Rule Expr

fractionPlusScale :: Rule Expr

fractionTimes :: Rule Expr

fractionTimesCancelNomDen :: Rule Expr

fractionTimesCancelDenNom :: Rule Expr