Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Classes

Contents

Classes
- Chunks
- Expr and expressions

Description

Defining all the classes which represent knowledge-about-knowledge.

Synopsis

class HasUID c => NamedIdea c where
- term :: Lens' c NP
class NamedIdea c => Idea c where
- getA :: c -> Maybe String
class NamedIdea c => CommonIdea c where
- abrv :: c -> String
type Concept c = (Idea c, Definition c, ConceptDomain c)
class Definition c where
- defn :: Lens' c Sentence
class ConceptDomain c where
- cdom :: c -> [UID]
class (Idea c, HasSpace c, HasSymbol c) => Quantity c
class HasUnitSymbol u where
- usymb :: u -> USymb
class HasReasVal c where
- reasVal :: Lens' c (Maybe Expr)
class Constrained c where
- constraints :: Lens' c [ConstraintE]
class HasSymbol c => Callable c
class HasSymbol c => IsArgumentName c
class HasAdditionalNotes c where
- getNotes :: Lens' c [Sentence]
class (Idea u, Definition u, HasUnitSymbol u) => IsUnit u where
- udefn :: u -> Maybe UDefn
- getUnits :: u -> [UID]
class UnitEq u where
- uniteq :: Lens' u UDefn
class Express c where
- express :: c -> ModelExpr
class DefiningExpr c where
- defnExpr :: Lens' (c e) e

Classes

Chunks

class HasUID c => NamedIdea c where Source #

A NamedIdea is a term that we've identified (has a UID) as being worthy of naming.

Methods

term :: Lens' c NP Source #

Lens to the term (a noun phrase).

Instances

Instances details

NamedIdea CodeChunk Source #	Finds the term (`NP`) of the `QuantityDict` used to make the `CodeChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods term :: Lens' CodeChunk NP Source #
NamedIdea CodeFuncChunk Source #	Finds the term (`NP`) of the `CodeChunk` used to make the `CodeFuncChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods term :: Lens' CodeFuncChunk NP Source #
NamedIdea CodeVarChunk Source #	Finds the term (`NP`) of the `CodeChunk` used to make the `CodeVarChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods term :: Lens' CodeVarChunk NP Source #
NamedIdea CI Source #	Finds term (`NP`) of the `IdeaDict` used to make the `CI`.
Instance details Defined in Language.Drasil.Chunk.CommonIdea Methods term :: Lens' CI NP Source #
NamedIdea ConceptChunk Source #	Finds term (`NP`) of the `IdeaDict` used to make the `ConceptChunk`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods term :: Lens' ConceptChunk NP Source #
NamedIdea ConceptInstance Source #	Finds term (`NP`) of the `ConceptChunk` used to make the `ConceptInstance`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods term :: Lens' ConceptInstance NP Source #
NamedIdea ConstrConcept Source #	Finds term (`NP`) of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods term :: Lens' ConstrConcept NP Source #
NamedIdea ConstrainedChunk Source #	Finds term (`NP`) of the `QuantityDict` used to make the `ConstrainedChunk`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods term :: Lens' ConstrainedChunk NP Source #
NamedIdea DefinedQuantityDict Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods term :: Lens' DefinedQuantityDict NP 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 #
NamedIdea IdeaDict Source #	Finds the term (`NP`) of the `IdeaDict` used to make the `IdeaDict`.
Instance details Defined in Language.Drasil.Chunk.NamedIdea Methods term :: Lens' IdeaDict NP Source #
NamedIdea QuantityDict Source #	Finds the term (`NP`) of the `IdeaDict` used to make the `QuantityDict`.
Instance details Defined in Language.Drasil.Chunk.Quantity Methods term :: Lens' QuantityDict NP Source #
NamedIdea RelationConcept Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods term :: Lens' RelationConcept NP Source #
NamedIdea UncertQ Source #	Finds term (`NP`) of the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods term :: Lens' UncertQ NP Source #
NamedIdea UncertainChunk Source #	Finds term (`NP`) of the `ConstrainedChunk` used to make the `UncertainChunk`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods term :: Lens' UncertainChunk NP Source #
NamedIdea UnitDefn Source #	Finds term (`NP`) of the `ConceptChunk` used to make the `UnitDefn`.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods term :: Lens' UnitDefn NP Source #
NamedIdea UnitalChunk Source #	Finds term (`NP`) of the `DefinedQuantityDict` used to make the `UnitalChunk`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods term :: Lens' UnitalChunk NP Source #
NamedIdea UnitaryChunk Source #	Finds term (`NP`) of the `QuantityDict` used to make the `UnitaryChunk`.
Instance details Defined in Language.Drasil.Chunk.Unitary Methods term :: Lens' UnitaryChunk NP Source #
NamedIdea (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods term :: Lens' (QDefinition e) NP Source #

class NamedIdea c => Idea c where Source #

An Idea is the combination of a NamedIdea and a CommonIdea. In other words, it may have an acronym/abbreviation.

Methods

getA :: c -> Maybe String Source #

Gets the acronym/abbreviation.

Instances

Instances details

Idea CodeChunk Source #	Finds the idea contained in the `QuantityDict` used to make the `CodeChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods getA :: CodeChunk -> Maybe String Source #
Idea CodeFuncChunk Source #	Finds the idea contained in the `CodeChunk` used to make the `CodeFuncChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods getA :: CodeFuncChunk -> Maybe String Source #
Idea CodeVarChunk Source #	Finds the idea contained in the `CodeChunk` used to make the `CodeVarChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods getA :: CodeVarChunk -> Maybe String Source #
Idea CI Source #	Finds the idea of a `CI` (abbreviation).
Instance details Defined in Language.Drasil.Chunk.CommonIdea Methods getA :: CI -> Maybe String Source #
Idea ConceptChunk Source #	Finds the idea contained in the `IdeaDict` used to make the `ConceptChunk`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods getA :: ConceptChunk -> Maybe String Source #
Idea ConceptInstance Source #	Finds the idea contained in the `ConceptChunk` used to make the `ConceptInstance`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods getA :: ConceptInstance -> Maybe String Source #
Idea ConstrConcept Source #	Finds the idea contained in the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods getA :: ConstrConcept -> Maybe String Source #
Idea ConstrainedChunk Source #	Finds the idea contained in the `QuantityDict` used to make the `ConstrainedChunk`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods getA :: ConstrainedChunk -> Maybe String Source #
Idea DefinedQuantityDict Source #	Finds the idea contained in the `ConceptChunk` used to make the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods getA :: DefinedQuantityDict -> Maybe String 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 #
Idea IdeaDict Source #	Finds the abbreviation of the `IdeaDict`.
Instance details Defined in Language.Drasil.Chunk.NamedIdea Methods getA :: IdeaDict -> Maybe String Source #
Idea QuantityDict Source #	Finds the idea contained in the `IdeaDict` used to make the `QuantityDict`.
Instance details Defined in Language.Drasil.Chunk.Quantity Methods getA :: QuantityDict -> Maybe String Source #
Idea RelationConcept Source #	Finds the idea contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods getA :: RelationConcept -> Maybe String Source #
Idea UncertQ Source #	Finds the idea contained in the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods getA :: UncertQ -> Maybe String Source #
Idea UncertainChunk Source #	Finds the idea contained in the `ConstrainedChunk` used to make the `UncertainChunk`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods getA :: UncertainChunk -> Maybe String Source #
Idea UnitDefn Source #	Finds the idea contained in the `ConceptChunk` used to make the `UnitDefn`.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods getA :: UnitDefn -> Maybe String Source #
Idea UnitalChunk Source #	Finds the idea contained in the `DefinedQuantityDict` used to make the `UnitalChunk`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods getA :: UnitalChunk -> Maybe String Source #
Idea UnitaryChunk Source #	Finds the idea contained in the `QuantityDict` used to make the `UnitaryChunk`.
Instance details Defined in Language.Drasil.Chunk.Unitary Methods getA :: UnitaryChunk -> Maybe String Source #
Idea (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods getA :: QDefinition e -> Maybe String Source #

class NamedIdea c => CommonIdea c where Source #

CommonIdea is a NamedIdea with the additional constraint that it must have an abbreviation.

Methods

abrv :: c -> String Source #

Introduces abrv which necessarily provides an abbreviation.

Instances

Instances details

CommonIdea CI Source #	Finds the idea of a `CI` (abbreviation).
Instance details Defined in Language.Drasil.Chunk.CommonIdea Methods abrv :: CI -> String Source #

type Concept c = (Idea c, Definition c, ConceptDomain c) Source #

Concepts are Ideas with definitions and domains.

class Definition c where Source #

Defines a chunk.

Methods

defn :: Lens' c Sentence Source #

Provides (a Lens to) the definition for a chunk.

Instances

Instances details

Definition ConceptChunk Source #	Finds definition of a `ConceptChunk`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods defn :: Lens' ConceptChunk Sentence Source #
Definition ConceptInstance Source #	Finds the definition contained in the `ConceptChunk` used to make the `ConceptInstance`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods defn :: Lens' ConceptInstance Sentence Source #
Definition ConstrConcept Source #	Finds definition of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods defn :: Lens' ConstrConcept Sentence Source #
Definition DefinedQuantityDict Source #	Finds the definition contained in the `ConceptChunk` used to make the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods defn :: Lens' DefinedQuantityDict Sentence 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 #
Definition RelationConcept Source #	Finds the definition contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods defn :: Lens' RelationConcept Sentence Source #
Definition UncertQ Source #	Finds definition of the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods defn :: Lens' UncertQ Sentence Source #
Definition UnitDefn Source #	Finds definition of the `ConceptChunk` used to make the `UnitDefn`.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods defn :: Lens' UnitDefn Sentence Source #
Definition UnitalChunk Source #	Finds definition of the `DefinedQuantityDict` used to make the `UnitalChunk`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods defn :: Lens' UnitalChunk Sentence Source #
Definition (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods defn :: Lens' (QDefinition e) Sentence Source #

class ConceptDomain c where Source #

Some concepts have a domain (related information encoded in UIDs to other chunks).

Methods

cdom :: c -> [UID] Source #

Provides Getter for the concept domain tags for a chunk

cdom should be exported for use by the Drasil framework, but should not be exported beyond that.

Instances

Instances details

ConceptDomain CI Source #	Finds the domain of a `CI`.
Instance details Defined in Language.Drasil.Chunk.CommonIdea Methods cdom :: CI -> [UID] Source #
ConceptDomain ConceptChunk Source #	Finds the domain of `UID`s of a `ConceptChunk`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods cdom :: ConceptChunk -> [UID] Source #
ConceptDomain ConceptInstance Source #	Finds the domain contained in the `ConceptChunk` used to make the `ConceptInstance`.
Instance details Defined in Language.Drasil.Chunk.Concept.Core Methods cdom :: ConceptInstance -> [UID] Source #
ConceptDomain ConstrConcept Source #	Finds the domain contained in the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods cdom :: ConstrConcept -> [UID] Source #
ConceptDomain DefinedQuantityDict Source #	Finds the domain of the `ConceptChunk` used to make the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods cdom :: DefinedQuantityDict -> [UID] Source #
ConceptDomain DifferentialModel Source #	Finds the domain of the `ConceptChunk` used to make the `DifferentialModel`.
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods cdom :: DifferentialModel -> [UID] Source #
ConceptDomain RelationConcept Source #	Finds the domain of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods cdom :: RelationConcept -> [UID] Source #
ConceptDomain UncertQ Source #	Finds the domain contained in the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods cdom :: UncertQ -> [UID] Source #
ConceptDomain UnitDefn Source #	Finds the domain contained in the `ConceptChunk` used to make the `UnitDefn`.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods cdom :: UnitDefn -> [UID] Source #
ConceptDomain UnitalChunk Source #	Finds the domain contained in the `DefinedQuantityDict` used to make the `UnitalChunk`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods cdom :: UnitalChunk -> [UID] Source #
ConceptDomain (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods cdom :: QDefinition e -> [UID] Source #

class (Idea c, HasSpace c, HasSymbol c) => Quantity c Source #

A Quantity is an Idea with a Space and a Symbol. In theory, it should also restrict to being a part of MayHaveUnit, but that causes all sorts of import cycles (or lots of orphans).

Instances

Instances details

Quantity CodeChunk Source #	`CodeChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.CodeVar
Quantity CodeFuncChunk Source #	`CodeFuncChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.CodeVar
Quantity CodeVarChunk Source #	`CodeVarChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.CodeVar
Quantity ConstrConcept Source #	`ConstrConcept`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Constrained
Quantity ConstrainedChunk Source #	`ConstrainedChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Constrained
Quantity DefinedQuantityDict Source #	`DefinedQuantityDict`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity
Quantity QuantityDict Source #	`QuantityDict`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Quantity
Quantity UncertQ Source #	`UncertQ`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity
Quantity UncertainChunk Source #	`UncertainChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity
Quantity UnitalChunk Source #	`UnitalChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Unital
Quantity UnitaryChunk Source #	`UnitaryChunk`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Unitary
Quantity (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq

class HasUnitSymbol u where Source #

Some chunks store a unit symbol.

Methods

usymb :: u -> USymb Source #

Provides the ability to hold a unit symbol (USymb).

Instances

Instances details

HasUnitSymbol UnitDefn Source #	Finds unit symbol of the `ConceptChunk` used to make the `UnitDefn`.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods usymb :: UnitDefn -> USymb Source #

class HasReasVal c where Source #

A Quantity that could have a reasonable value.

Methods

reasVal :: Lens' c (Maybe Expr) Source #

Provides a Lens to the possible reasonable value.

Instances

Instances details

HasReasVal ConstrConcept Source #	Finds a reasonable value for the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods reasVal :: Lens' ConstrConcept (Maybe Expr) Source #
HasReasVal ConstrainedChunk Source #	Finds a reasonable value for the `ConstrainedChunk`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods reasVal :: Lens' ConstrainedChunk (Maybe Expr) Source #
HasReasVal UncertQ Source #	Finds a reasonable value for the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods reasVal :: Lens' UncertQ (Maybe Expr) Source #
HasReasVal UncertainChunk Source #	Finds a reasonable value for the `ConstrainedChunk` used to make the `UncertainChunk`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods reasVal :: Lens' UncertainChunk (Maybe Expr) Source #

class Constrained c where Source #

The Constrained class is a Quantity that has value constraints. It does not enforce Quantity at this point.

Methods

constraints :: Lens' c [ConstraintE] Source #

Provides a Lens to the Constraints.

Instances

Instances details

Constrained ConstrConcept Source #	Finds the `Constraint`s of a `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods constraints :: Lens' ConstrConcept [ConstraintE] Source #
Constrained ConstrainedChunk Source #	Finds the `Constraint`s of a `ConstrainedChunk`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods constraints :: Lens' ConstrainedChunk [ConstraintE] Source #
Constrained UncertQ Source #	Finds the `Constraint`s of a `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods constraints :: Lens' UncertQ [ConstraintE] Source #
Constrained UncertainChunk Source #	Finds the `Constraint`s of the `ConstrainedChunk` used to make the `UncertainChunk`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods constraints :: Lens' UncertainChunk [ConstraintE] Source #

class HasSymbol c => Callable c Source #

Some chunks can be called like functions.

Instances

Instances details

Callable CodeFuncChunk Source #	Functions are Callable.
Instance details Defined in Language.Drasil.Chunk.CodeVar

class HasSymbol c => IsArgumentName c Source #

Members must have a named argument.

class HasAdditionalNotes c where Source #

Records any additional notes needed to avoid losing information

Methods

getNotes :: Lens' c [Sentence] Source #

Provides a Lens to the notes.

class (Idea u, Definition u, HasUnitSymbol u) => IsUnit u where Source #

Units are Ideas with a Definition which store a unit symbol. They must also be explicitly declared to be instances of IsUnit.

Methods

udefn :: u -> Maybe UDefn Source #

May have a unit definition.

getUnits :: u -> [UID] Source #

Holds units as a list of UID.

Instances

Instances details

IsUnit UnitDefn Source #	Gets the UnitDefn and contributing units.
Instance details Defined in Language.Drasil.Chunk.UnitDefn Methods udefn :: UnitDefn -> Maybe UDefn Source # getUnits :: UnitDefn -> [UID] Source #

class UnitEq u where Source #

Contains a UDefn

Methods

uniteq :: Lens' u UDefn Source #

Provides the Lens to a unit definition.

Expr and expressions

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 QuantityDict Source #	Convert the symbol of the `QuantityDict` to a `ModelExpr`.
Instance details Defined in Language.Drasil.Chunk.Quantity Methods express :: QuantityDict -> 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 #

class DefiningExpr c where Source #

Methods

defnExpr :: Lens' (c e) e Source #

Provides a Lens to the expression. TODO: Well, technically, e doesn't need to be an "expression" of any sorts. It just needs to be _something_, and it would have approximately have same meaning.

Instances

Instances details

DefiningExpr QDefinition Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods defnExpr :: Lens' (QDefinition e) e Source #