Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.DefinedQuantity

Contents

Chunk Type
Type classes
Constructors

Description

Contains types that define quantities from concepts.

Synopsis

data DefinedQuantityDict
class DefinesQuantity d where
- defLhs :: Getter d DefinedQuantityDict
dqd :: IsUnit u => ConceptChunk -> Symbol -> Space -> u -> DefinedQuantityDict
dqdNoUnit :: ConceptChunk -> Symbol -> Space -> DefinedQuantityDict
dqdNoUnit' :: ConceptChunk -> (Stage -> Symbol) -> Space -> DefinedQuantityDict
dqd' :: ConceptChunk -> (Stage -> Symbol) -> Space -> Maybe UnitDefn -> DefinedQuantityDict
dqdQd :: (Quantity c, MayHaveUnit c) => c -> Sentence -> DefinedQuantityDict
dqdWr :: (Quantity c, Concept c, MayHaveUnit c) => c -> DefinedQuantityDict
implVar :: String -> NP -> String -> Space -> Symbol -> DefinedQuantityDict
implVar' :: String -> NP -> Sentence -> Space -> Symbol -> DefinedQuantityDict
implVarAU :: String -> NP -> String -> Maybe String -> Space -> Symbol -> Maybe UnitDefn -> DefinedQuantityDict
implVarAU' :: String -> NP -> Sentence -> Maybe String -> Space -> Symbol -> Maybe UnitDefn -> 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

HasUID DefinedQuantityDict Source #	Finds the `UID` of the `ConceptChunk` used to make the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods uid :: Getter DefinedQuantityDict UID Source #
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 #
Eq DefinedQuantityDict Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods (==) :: DefinedQuantityDict -> DefinedQuantityDict -> Bool # (/=) :: DefinedQuantityDict -> DefinedQuantityDict -> Bool #

Type classes

class DefinesQuantity d where Source #

Methods

defLhs :: Getter d DefinedQuantityDict Source #

Instances

Instances details

DefinesQuantity (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods defLhs :: Getter (QDefinition e) DefinedQuantityDict Source #

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.

dqdNoUnit' :: ConceptChunk -> (Stage -> Symbol) -> Space -> DefinedQuantityDict Source #

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 -> Sentence -> 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.

implVar :: String -> NP -> String -> Space -> Symbol -> DefinedQuantityDict Source #

Makes a variable that is implementation-only.

implVar' :: String -> NP -> Sentence -> Space -> Symbol -> DefinedQuantityDict Source #

Similar to implVar, but takes in a Sentence for the description rather than a String.

implVarAU :: String -> NP -> String -> Maybe String -> Space -> Symbol -> Maybe UnitDefn -> DefinedQuantityDict Source #

Similar to implVar but allows specification of abbreviation and unit.

implVarAU' :: String -> NP -> Sentence -> Maybe String -> Space -> Symbol -> Maybe UnitDefn -> DefinedQuantityDict Source #

Similar to implVarAU but takes a Sentence for the description rather than a String.