Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.Constrained

Contents

Constrained Chunks
- From a Concept

Description

Add constraints and a reasonable value to chunks that are quantities.

Synopsis

data ConstrConcept = ConstrConcept {
- _defq :: DefinedQuantityDict
- _constr' :: [ConstraintE]
- _reasV' :: Maybe Expr
}
cnstrw' :: (Quantity c, Concept c, Constrained c, HasReasVal c, MayHaveUnit c) => c -> ConstrConcept
constrained' :: (Concept c, MayHaveUnit c, Quantity c) => c -> [ConstraintE] -> Expr -> ConstrConcept
constrainedNRV' :: (Concept c, MayHaveUnit c, Quantity c) => c -> [ConstraintE] -> ConstrConcept
cuc' :: IsUnit u => String -> NP -> String -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> ConstrConcept
cuc'' :: IsUnit u => String -> NP -> String -> (Stage -> Symbol) -> u -> Space -> [ConstraintE] -> Expr -> ConstrConcept
cucNoUnit' :: String -> NP -> String -> Symbol -> Space -> [ConstraintE] -> Expr -> ConstrConcept

Constrained Chunks

From a Concept

data ConstrConcept Source #

ConstrConcepts are conceptual symbolic quantities (DefinedQuantityDict) with Constraints and maybe a reasonable value (no units!). Similar to ConstrainedChunk but includes a definition and domain.

Ex. Measuring the length of a pendulum arm could be a concept that has some reasonable value (between 1 cm and 2 m) and the constraint that the length cannot be a negative value.

Constructors

ConstrConcept
Fields _defq :: DefinedQuantityDict _constr' :: [ConstraintE] _reasV' :: Maybe Expr

Instances

Instances details

HasUID ConstrConcept Source #	Finds `UID` of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods uid :: Getter ConstrConcept UID 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 #
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 #
MayHaveUnit ConstrConcept Source #	Finds the units of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods getUnit :: ConstrConcept -> Maybe UnitDefn 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 #
Constrained ConstrConcept Source #	Finds the `Constraint`s of a `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods constraints :: Lens' ConstrConcept [ConstraintE] 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 #
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 #
Quantity ConstrConcept Source #	`ConstrConcept`s have a `Quantity`.
Instance details Defined in Language.Drasil.Chunk.Constrained
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 #
HasSpace ConstrConcept Source #	Finds the `Space` of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods typ :: Getter ConstrConcept Space Source #
HasSymbol ConstrConcept Source #	Finds the `Symbol` of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods symbol :: ConstrConcept -> Stage -> Symbol Source #
Eq ConstrConcept Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods (==) :: ConstrConcept -> ConstrConcept -> Bool # (/=) :: ConstrConcept -> ConstrConcept -> Bool #

cnstrw' :: (Quantity c, Concept c, Constrained c, HasReasVal c, MayHaveUnit c) => c -> ConstrConcept Source #

Similar to cnstrw, but types must also have a Concept.

constrained' :: (Concept c, MayHaveUnit c, Quantity c) => c -> [ConstraintE] -> Expr -> ConstrConcept Source #

Creates a ConstrConcept with a quantitative concept, a list of Constraints and an Expr.

constrainedNRV' :: (Concept c, MayHaveUnit c, Quantity c) => c -> [ConstraintE] -> ConstrConcept Source #

Similar to constrained', but defaults Maybe Expr to Nothing.

cuc' :: IsUnit u => String -> NP -> String -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> ConstrConcept Source #

Creates a constrained unitary chunk from a UID, term (NP), description (String), Symbol, unit, Space, Constraints, and an Expr.

cuc'' :: IsUnit u => String -> NP -> String -> (Stage -> Symbol) -> u -> Space -> [ConstraintE] -> Expr -> ConstrConcept Source #

Similar to cuc', but Symbol is dependent on Stage.

cucNoUnit' :: String -> NP -> String -> Symbol -> Space -> [ConstraintE] -> Expr -> ConstrConcept Source #

Similar to cuc', but does not include a unit.