Safe Haskell	None
Language	Haskell2010

Language.Drasil.Chunk.DifferentialModel

Contents

Chunk Type
Input Language
Constructors

Synopsis

data DifferentialModel
($*) :: Expr -> Int -> CoeffDeriv
makeLinear :: UnitalChunk -> ConstrConcept -> [CoeffDeriv] -> Expr -> String -> NP -> Sentence -> DifferentialModel

Chunk Type

data DifferentialModel Source #

Instances

Instances details

Eq DifferentialModel Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods (==) :: DifferentialModel -> DifferentialModel -> Bool # (/=) :: DifferentialModel -> DifferentialModel -> Bool #
HasUID DifferentialModel Source #	Finds the `UID` of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods uid :: Lens' DifferentialModel UID Source #
Express DifferentialModel Source #	Finds the domain of the `ConceptChunk` used to make the `DifferentialModel`. \| Convert the `DifferentialModel` into the model expression language. \| Set Canonical form of ODE to Zero, e.g. ax0 + bx1 + cx2 + .... + c = 0
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods express :: DifferentialModel -> ModelExpr Source #
Idea DifferentialModel Source #	Finds the idea contained in the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods getA :: DifferentialModel -> Maybe String Source #
NamedIdea DifferentialModel Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods term :: Lens' DifferentialModel NP Source #
ConceptDomain DifferentialModel Source #
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods cdom :: DifferentialModel -> [UID] Source #
Definition DifferentialModel Source #	Finds the definition contained in the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods defn :: Lens' DifferentialModel Sentence Source #

Input Language

($*) :: Expr -> Int -> CoeffDeriv Source #

Constructors

makeLinear :: UnitalChunk -> ConstrConcept -> [CoeffDeriv] -> Expr -> String -> NP -> Sentence -> DifferentialModel Source #

Create a DifferentialModel from a given indepVar (UnitalChunk), DepVar (ModelExpr), | Coefficients ('[Expr]'), Constant (Expr), UID (String), term (NP), definition (Sentence).