Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.ExprClasses

Description

Defines classes for use with Drasil's expression language.

Synopsis

class Express c where
- express :: c -> ModelExpr

Documentation

class Express c where Source #

Data that can be expressed using ModelExpr.

Methods

express :: c -> ModelExpr Source #

Instances

Instances details

Express ConstrConcept Source #	Convert the symbol of the `ConstrConcept` to a `ModelExpr`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods express :: ConstrConcept -> ModelExpr Source #
Express DefinedQuantityDict Source #	Convert the symbol of the `DefinedQuantityDict` to a `ModelExpr`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods express :: DefinedQuantityDict -> ModelExpr Source #
Express DifferentialModel Source #	Convert the `DifferentialModel` into the model expression language.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods express :: DifferentialModel -> ModelExpr Source #
Express RelationConcept Source #	Convert the `RelationConcept` into the model expression language.
Instance details Defined in Language.Drasil.Chunk.Relation Methods express :: RelationConcept -> ModelExpr Source #
Express UncertQ Source #	Convert the symbol of the `UncertQ` to a `ModelExpr`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods express :: UncertQ -> ModelExpr Source #
Express UnitalChunk Source #	Convert the symbol of the `UnitalChunk` to a `ModelExpr`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods express :: UnitalChunk -> ModelExpr Source #
Express Expr Source #	Rewriting `Expr`s using the `ModelExpr` language.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: Expr -> ModelExpr Source #
Express Literal Source #
Instance details Defined in Language.Drasil.ExprClasses Methods express :: Literal -> ModelExpr Source #
Express ModelExpr Source #	No change, it's already a `ModelExpr`.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: ModelExpr -> ModelExpr Source #
Express e => Express (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods express :: QDefinition e -> ModelExpr Source #