Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.Constrained

Contents

Constrained Chunks
- From an Idea
- From a Concept

Description

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

Synopsis

data ConstrainedChunk = ConstrainedChunk {
- _qd :: QuantityDict
- _constr :: [ConstraintE]
- _reasV :: Maybe Expr
}
cuc :: IsUnit u => String -> NP -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> ConstrainedChunk
cvc :: String -> NP -> Symbol -> Space -> [ConstraintE] -> Maybe Expr -> ConstrainedChunk
cnstrw :: (Quantity c, Constrained c, HasReasVal c, MayHaveUnit c) => c -> ConstrainedChunk
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

Constrained Chunks

From an Idea

data ConstrainedChunk Source #

ConstrainedChunks are symbolic quantities (QuantityDict) with Constraints and maybe a typical value (Maybe Expr).

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

Constructors

ConstrainedChunk
Fields _qd :: QuantityDict _constr :: [ConstraintE] _reasV :: Maybe Expr

Instances

Instances details

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

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

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

cvc :: String -> NP -> Symbol -> Space -> [ConstraintE] -> Maybe Expr -> ConstrainedChunk Source #

Creates a constrained unitary chunk from a UID, term (NP), Symbol, Space, Constraints, and a Maybe Expr (Similar to cuc but no units).

cnstrw :: (Quantity c, Constrained c, HasReasVal c, MayHaveUnit c) => c -> ConstrainedChunk Source #

Creates a new ConstrainedChunk from either a ConstrainedChunk, ConstrConcept, UncertainChunk, or an UncertQ.

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

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 #
HasUID ConstrConcept Source #	Finds `UID` of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods uid :: Lens' ConstrConcept UID 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.

Constrained Chunks

From an Idea

Instances

From a Concept

Instances