Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.DefinedQuantity

Contents

Chunk Type
Constructors

Description

Contains types that define quantities from concepts. Similar to QuantityDict.

Synopsis

data DefinedQuantityDict
dqd :: IsUnit u => ConceptChunk -> Symbol -> Space -> u -> DefinedQuantityDict
dqdNoUnit :: ConceptChunk -> Symbol -> Space -> DefinedQuantityDict
dqd' :: ConceptChunk -> (Stage -> Symbol) -> Space -> Maybe UnitDefn -> DefinedQuantityDict
dqdQd :: (Quantity c, MayHaveUnit c) => c -> ConceptChunk -> DefinedQuantityDict
dqdWr :: (Quantity c, Concept c, MayHaveUnit c) => c -> DefinedQuantityDict
tempdqdWr' :: (Quantity c, Concept c, MayHaveUnit c) => c -> DefinedQuantityDict

Chunk Type

data DefinedQuantityDict Source #

DefinedQuantityDict is the combination of a Concept and a Quantity. Contains a ConceptChunk, a Symbol dependent on Stage, a Space, and maybe a UnitDefn. Used when we want to assign a quantity to a concept. Includes the space, symbol, and units for that quantity.

Ex. A pendulum arm can be defined as a concept with a symbol (l), space (Real numbers), and units (cm, m, etc.).

Instances

Instances details

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

Constructors

dqd :: IsUnit u => ConceptChunk -> Symbol -> Space -> u -> DefinedQuantityDict Source #

Smart constructor that creates a DefinedQuantityDict with a ConceptChunk, a Symbol independent of Stage, a Space, and a unit.

dqdNoUnit :: ConceptChunk -> Symbol -> Space -> DefinedQuantityDict Source #

Similar to dqd, but without any units.

dqd' :: ConceptChunk -> (Stage -> Symbol) -> Space -> Maybe UnitDefn -> DefinedQuantityDict Source #

Similar to dqd, but the Symbol is now dependent on the Stage.

dqdQd :: (Quantity c, MayHaveUnit c) => c -> ConceptChunk -> DefinedQuantityDict Source #

When we want to merge a quantity and a concept. This is suspicious.

dqdWr :: (Quantity c, Concept c, MayHaveUnit c) => c -> DefinedQuantityDict Source #

When the input already has all the necessary information. A projection operator from some a type with instances of listed classes to a DefinedQuantityDict.

tempdqdWr' :: (Quantity c, Concept c, MayHaveUnit c) => c -> DefinedQuantityDict Source #

Temporary projection constructor, not to be used outside drasil-lang.