Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Domain.Math.Equation.CoverUpRules

Description

Synopsis

coverUpRules :: [Rule (Equation Expr)]
coverUpRulesOr :: IsTerm a => [Rule (Context a)]
coverUp :: Equation Expr -> Equation Expr
coverUpOrs :: OrList (Equation Expr) -> OrList (Equation Expr)
coverUpPower :: Rule (OrList (Equation Expr))
coverUpPlus :: Rule (Equation Expr)
coverUpMinusLeft :: Rule (Equation Expr)
coverUpMinusRight :: Rule (Equation Expr)
coverUpTimes :: Rule (Equation Expr)
coverUpNegate :: Rule (Equation Expr)
coverUpNumerator :: Rule (Equation Expr)
coverUpDenominator :: Rule (Equation Expr)
coverUpSqrt :: Rule (Equation Expr)
data ConfigCoverUp
configName :: ConfigCoverUp -> String
predicateCovered :: ConfigCoverUp -> Expr -> Bool
predicateCombined :: ConfigCoverUp -> Expr -> Bool
coverLHS :: ConfigCoverUp -> Bool
coverRHS :: ConfigCoverUp -> Bool
configCoverUp :: ConfigCoverUp
coverUpPowerWith :: ConfigCoverUp -> Rule (OrList (Equation Expr))
coverUpTimesWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpNegateWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpPlusWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpMinusLeftWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpMinusRightWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpNumeratorWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpDenominatorWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpSqrtWith :: ConfigCoverUp -> Rule (Equation Expr)
coverUpBinaryRule :: Relational r => String -> (Expr -> [(Expr, Expr)]) -> (Expr -> Expr -> Expr) -> ConfigCoverUp -> Rule (r Expr)
commOp :: MonadPlus m => m (a, a) -> m (a, a)
flipOp :: Monad m => m (a, a) -> m (a, a)

Documentation

coverUpRules :: [Rule (Equation Expr)] Source #

coverUpRulesOr :: IsTerm a => [Rule (Context a)] Source #

coverUp :: Equation Expr -> Equation Expr Source #

coverUpOrs :: OrList (Equation Expr) -> OrList (Equation Expr) Source #

coverUpPower :: Rule (OrList (Equation Expr)) Source #

coverUpPlus :: Rule (Equation Expr) Source #

coverUpMinusLeft :: Rule (Equation Expr) Source #

coverUpMinusRight :: Rule (Equation Expr) Source #

coverUpTimes :: Rule (Equation Expr) Source #

coverUpNegate :: Rule (Equation Expr) Source #

coverUpNumerator :: Rule (Equation Expr) Source #

coverUpDenominator :: Rule (Equation Expr) Source #

coverUpSqrt :: Rule (Equation Expr) Source #

data ConfigCoverUp Source #

configName :: ConfigCoverUp -> String Source #

predicateCovered :: ConfigCoverUp -> Expr -> Bool Source #

predicateCombined :: ConfigCoverUp -> Expr -> Bool Source #

coverLHS :: ConfigCoverUp -> Bool Source #

coverRHS :: ConfigCoverUp -> Bool Source #

configCoverUp :: ConfigCoverUp Source #

coverUpPowerWith :: ConfigCoverUp -> Rule (OrList (Equation Expr)) Source #

coverUpTimesWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

Negations are pushed inside

coverUpNegateWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

coverUpPlusWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

coverUpMinusLeftWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

coverUpMinusRightWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

coverUpNumeratorWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

Negations are pushed inside

coverUpDenominatorWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

Negations are pushed inside

coverUpSqrtWith :: ConfigCoverUp -> Rule (Equation Expr) Source #

coverUpBinaryRule :: Relational r => String -> (Expr -> [(Expr, Expr)]) -> (Expr -> Expr -> Expr) -> ConfigCoverUp -> Rule (r Expr) Source #

commOp :: MonadPlus m => m (a, a) -> m (a, a) Source #

flipOp :: Monad m => m (a, a) -> m (a, a) Source #