Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.ModelExpr.Class

Synopsis

assocCreate :: AssocBoolOper -> [ModelExpr] -> ModelExpr
assocSanitize :: AssocBoolOper -> [ModelExpr] -> [ModelExpr]
class ModelExprC r where
- deriv, pderiv :: (HasUID c, HasSymbol c) => r -> c -> r
- nthderiv, nthpderiv :: (HasUID c, HasSymbol c) => Integer -> r -> c -> r
- defines :: r -> r -> r
- space :: Space -> r
- isIn :: r -> Space -> r
- equiv :: [r] -> r
- intAll, sumAll, prodAll :: Symbol -> r -> r

Documentation

assocCreate :: AssocBoolOper -> [ModelExpr] -> ModelExpr Source #

Helper for creating new smart constructors for Associative Binary operations that require at least 1 expression.

assocSanitize :: AssocBoolOper -> [ModelExpr] -> [ModelExpr] Source #

Helper for associative operations, removes embedded variants of the same kind

class ModelExprC r where Source #

Methods

deriv :: (HasUID c, HasSymbol c) => r -> c -> r Source #

Gets the derivative of an ModelExpr with respect to a Symbol.

pderiv :: (HasUID c, HasSymbol c) => r -> c -> r Source #

Gets the derivative of an ModelExpr with respect to a Symbol.

nthderiv :: (HasUID c, HasSymbol c) => Integer -> r -> c -> r Source #

Gets the nthderivative of an ModelExpr with respect to a Symbol.

nthpderiv :: (HasUID c, HasSymbol c) => Integer -> r -> c -> r Source #

Gets the nthderivative of an ModelExpr with respect to a Symbol.

defines :: r -> r -> r Source #

One expression is "defined" by another.

space :: Space -> r Source #

Space literals.

isIn :: r -> Space -> r Source #

Check if a value belongs to a Space.

equiv :: [r] -> r Source #

Binary associative Equivalence.

intAll :: Symbol -> r -> r Source #

Smart constructor for the summation, product, and integral functions over all Real numbers.

sumAll :: Symbol -> r -> r Source #

Smart constructor for the summation, product, and integral functions over all Real numbers.

prodAll :: Symbol -> r -> r Source #

Smart constructor for the summation, product, and integral functions over all Real numbers.

Instances

Instances details

ModelExprC ModelExpr Source #

Instance details

Defined in Language.Drasil.ModelExpr.Class

Methods

deriv :: (HasUID c, HasSymbol c) => ModelExpr -> c -> ModelExpr Source #

pderiv :: (HasUID c, HasSymbol c) => ModelExpr -> c -> ModelExpr Source #

nthderiv :: (HasUID c, HasSymbol c) => Integer -> ModelExpr -> c -> ModelExpr Source #

nthpderiv :: (HasUID c, HasSymbol c) => Integer -> ModelExpr -> c -> ModelExpr Source #

defines :: ModelExpr -> ModelExpr -> ModelExpr Source #

space :: Space -> ModelExpr Source #

isIn :: ModelExpr -> Space -> ModelExpr Source #

equiv :: [ModelExpr] -> ModelExpr Source #

intAll :: Symbol -> ModelExpr -> ModelExpr Source #

sumAll :: Symbol -> ModelExpr -> ModelExpr Source #

prodAll :: Symbol -> ModelExpr -> ModelExpr Source #