| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Chunk.UncertainQuantity
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 :: String -> NP -> String -> Symbol -> UnitDefn -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ
- uqcND :: String -> NP -> Symbol -> UnitDefn -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ
- uqDirect :: ConstrConcept -> Uncertainty -> UncertQ
Chunk Types
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
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 :: String -> NP -> String -> Symbol -> UnitDefn -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ Source #
Uncertainty quantity (uq) but with a constraint.
uqcND :: String -> NP -> Symbol -> UnitDefn -> Space -> [ConstraintE] -> Expr -> Uncertainty -> UncertQ Source #
Uncertainty quantity constraint (uqc) without a description.
Direct constructor (preserves ConstrConcept fields)
uqDirect :: ConstrConcept -> Uncertainty -> UncertQ Source #
Directly wraps a ConstrConcept with an Uncertainty, preserving all fields (including rationale).