Documentation

alg :: String Source #

calcRuleName :: String -> String -> String Source #

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

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

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

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

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

negateZero :: Rule Expr Source #

doubleNegate :: Rule Expr Source #

plusNegateLeft :: Rule Expr Source #

plusNegateRight :: Rule Expr Source #

minusNegateLeft :: Rule Expr Source #

minusNegateRight :: Rule Expr Source #

timesNegateLeft :: Rule Expr Source #

timesNegateRight :: Rule Expr Source #

divisionNegateLeft :: Rule Expr Source #

divisionNegateRight :: Rule Expr Source #

divisionNumerator :: Rule Expr Source #

divisionDenominator :: Rule Expr Source #

simplerFraction :: Rule Expr Source #

fractionPlus :: Rule Expr Source #

fractionPlusScale :: Rule Expr Source #

fractionTimes :: Rule Expr Source #

fractionTimesCancelNomDen :: Rule Expr Source #

fractionTimesCancelDenNom :: Rule Expr Source #