drasil-lang-0.1.60.0: A framework for code and document generation for scientific software - Language SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Drasil.ModelExpr.Class

Documentation

class ModelExprC r where Source #

Methods

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

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

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

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

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

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

nthpderiv :: (IsChunk 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 :: (IsChunk c, HasSymbol c) => ModelExpr -> c -> ModelExpr Source #

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

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

nthpderiv :: (IsChunk 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 #