Safe Haskell	None
Language	GHC2024

Theory.Drasil.RelationConcept

Contents

Description

For adding a relation (expression) to a concept.

Synopsis

Chunk Type

For a concept (ConceptChunk) that also has a Relation (ModelExpr) attached.

Ex. We can describe a pendulum arm and then apply an associated equation so that we know its behaviour.

Instances details

HasChunkRefs RelationConcept Source #
Instance details Defined in Theory.Drasil.RelationConcept Methods chunkRefs :: RelationConcept -> Set UID #
HasUID RelationConcept Source #	Finds the `UID` of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods uid :: Getter RelationConcept UID #
Idea RelationConcept Source #	Finds the idea contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods getA :: RelationConcept -> Maybe String #
NamedIdea RelationConcept Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods term :: Lens' RelationConcept NP #
Definition RelationConcept Source #	Finds the definition contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods defn :: Lens' RelationConcept Sentence #
Express RelationConcept Source #	Convert the `RelationConcept` into the model expression language.
Instance details Defined in Theory.Drasil.RelationConcept Methods express :: RelationConcept -> ModelExpr # mexpress :: RelationConcept -> NonEmpty ModelExpr #
Eq RelationConcept Source #	Equal if `UID`s are equal.
Instance details Defined in Theory.Drasil.RelationConcept Methods (==) :: RelationConcept -> RelationConcept -> Bool # (/=) :: RelationConcept -> RelationConcept -> Bool #

Constructors

Create a RelationConcept from a given UID, term (NP), definition (Sentence), and Relation.