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
- mexpress :: c -> NonEmpty ModelExpr

Documentation

class Express c where Source #

Express something axiomatically.

Minimal complete definition

express | mexpress

Methods

express :: c -> ModelExpr Source #

Express something as a single fact.

mexpress :: c -> NonEmpty ModelExpr Source #

Express something as a series of facts.

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 # mexpress :: ConstrConcept -> NonEmpty 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 # mexpress :: DefinedQuantityDict -> NonEmpty 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 # mexpress :: RelationConcept -> NonEmpty 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 # mexpress :: UncertQ -> NonEmpty 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 # mexpress :: UnitalChunk -> NonEmpty ModelExpr Source #
Express Expr Source #	Rewriting `Expr`s using the `ModelExpr` language.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: Expr -> ModelExpr Source # mexpress :: Expr -> NonEmpty ModelExpr Source #
Express Literal Source #
Instance details Defined in Language.Drasil.ExprClasses Methods express :: Literal -> ModelExpr Source # mexpress :: Literal -> NonEmpty ModelExpr Source #
Express ModelExpr Source #	No change, it's already a `ModelExpr`.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: ModelExpr -> ModelExpr Source # mexpress :: ModelExpr -> NonEmpty ModelExpr Source #
Express t => Express (NonEmpty t) Source #
Instance details Defined in Language.Drasil.ExprClasses Methods express :: NonEmpty t -> ModelExpr Source # mexpress :: NonEmpty t -> NonEmpty ModelExpr Source #
Express e => Express (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods express :: QDefinition e -> ModelExpr Source # mexpress :: QDefinition e -> NonEmpty ModelExpr Source #
Express t => Express [t] Source #
Instance details Defined in Language.Drasil.ExprClasses Methods express :: [t] -> ModelExpr Source # mexpress :: [t] -> NonEmpty ModelExpr Source #