Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.UncertainQuantity

Contents

Chunk Types
Constructors

Description

For adding an uncertainty value to quantities with constraints.

Synopsis

data UncertQ
uq :: (Quantity c, Constrained c, Concept c, HasReasVal c, MayHaveUnit c) => c -> Uncertainty -> UncertQ
uqc :: IsUnit u => String -> NP -> String -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ
uqcND :: IsUnit u => String -> NP -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ

Chunk Types

data UncertQ Source #

UncertQs are conceptual symbolic quantities with constraints and an Uncertainty. Contains a ConstrConcept and an Uncertainty.

Ex. Measuring the length of a pendulum arm may be recorded with an uncertainty value.

Instances

Instances details

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

Constructors

uq :: (Quantity c, Constrained c, Concept c, HasReasVal c, MayHaveUnit c) => c -> Uncertainty -> UncertQ Source #

Smart constructor that requires a Quantity, a percentage, and a typical value with an Uncertainty.

uqc :: IsUnit u => String -> NP -> String -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ Source #

Uncertainty quantity (uq) but with a constraint.

uqcND :: IsUnit u => String -> NP -> Symbol -> u -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ Source #

Uncertainty quantity constraint (uqc) without a description.