A data definition is a QDefinition that may have additional notes: the scope, any references (as DecRefs), maybe a derivation, a label (ShortName), a reference address, and other notes (Sentences).

Constructors

DDE :: SimpleQDef -> DDPkt -> DataDefinition
DDME :: ModelQDef -> DDPkt -> DataDefinition

Instances

Instances details

Idea DataDefinition Source #	Finds the idea contained in the `QDefinition` used to make the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods getA :: DataDefinition -> Maybe String #
NamedIdea DataDefinition Source #	Finds the term (`NP`) of the `QDefinition` used to make the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods term :: Lens' DataDefinition NP #
DefinesQuantity DataDefinition Source #	Finds the `Quantity` defined by the `DataDefinition`
Instance details Defined in Theory.Drasil.DataDefinition Methods defLhs :: Getter DataDefinition QuantityDict #
CommonIdea DataDefinition Source #	Finds the idea of a 'DataDefinition where' (abbreviation).
Instance details Defined in Theory.Drasil.DataDefinition Methods abrv :: DataDefinition -> String #
ConceptDomain DataDefinition Source #	Finds the domain of the `QDefinition` used to make the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods cdom :: DataDefinition -> [UID] #
HasAdditionalNotes DataDefinition Source #	Finds any additional notes for the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods getNotes :: Lens' DataDefinition [Sentence] #
HasDecRef DataDefinition Source #	Finds `DecRef`s contained in the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods getDecRefs :: Lens' DataDefinition [DecRef] #
MayHaveDerivation DataDefinition Source #	Finds the derivation of the 'DataDefinition where'. May contain Nothing.
Instance details Defined in Theory.Drasil.DataDefinition Methods derivations :: Lens' DataDefinition (Maybe Derivation) #
Express DataDefinition Source #	Converts the defining expression of a 'DataDefinition where' into the model expression language.
Instance details Defined in Theory.Drasil.DataDefinition Methods express :: DataDefinition -> ModelExpr #
HasRefAddress DataDefinition Source #	Finds the reference address of a 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods getRefAdd :: DataDefinition -> LblType #
Referable DataDefinition Source #	Finds the reference address of a 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods refAdd :: DataDefinition -> String # renderRef :: DataDefinition -> LblType #
HasShortName DataDefinition Source #	Finds the `ShortName` of the 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods shortname :: DataDefinition -> ShortName #
HasUID DataDefinition Source #	Finds the `UID` of a 'DataDefinition where'.
Instance details Defined in Theory.Drasil.DataDefinition Methods uid :: Lens' DataDefinition UID #
HasOutput DataDefinition Source #	Finds the output variable of the `DataDefinition`
Instance details Defined in Theory.Drasil.DataDefinition Methods output :: Getter DataDefinition QuantityDict Source # out_constraints :: Getter DataDefinition [RealInterval Expr Expr] Source #
Eq DataDefinition Source #	Equal if `UID`s are equal.
Instance details Defined in Theory.Drasil.DataDefinition Methods (==) :: DataDefinition -> DataDefinition -> Bool # (/=) :: DataDefinition -> DataDefinition -> Bool #
RequiresChecking DataDefinition Expr Space Source #	Expose all expressions that need to be type-checked.
Instance details Defined in Theory.Drasil.DataDefinition Methods requiredChecks :: DataDefinition -> [(Expr, Space)] #

ddQD :: Lens' SimpleQDef a -> Lens' ModelQDef a -> Lens' DataDefinition a Source #

ddQDGetter :: (Profunctor p, Contravariant f) => Getter SimpleQDef a -> Getter ModelQDef a -> Optic' p f DataDefinition a Source #

ddPkt :: Lens' DDPkt a -> Lens' DataDefinition a Source #

Constructors

ddE :: SimpleQDef -> [DecRef] -> Maybe Derivation -> String -> [Sentence] -> DataDefinition Source #

Smart constructor for data definitions.

ddENoRefs :: SimpleQDef -> Maybe Derivation -> String -> [Sentence] -> DataDefinition Source #

Smart constructor for data definitions with no references.

ddME :: ModelQDef -> [DecRef] -> Maybe Derivation -> String -> [Sentence] -> DataDefinition Source #

Smart constructor for data definitions.

ddMENoRefs :: ModelQDef -> Maybe Derivation -> String -> [Sentence] -> DataDefinition Source #

Smart constructor for data definitions with no references.

qdFromDD :: DataDefinition -> Either SimpleQDef ModelQDef Source #

Extracts the 'QDefinition e' from a DataDefinition.

qdEFromDD :: DataDefinition -> Maybe SimpleQDef Source #