Safe Haskell	Safe-Inferred
Language	Haskell2010

Theory.Drasil.RelationConcept

Contents

Chunk Type
Constructors

Description

For adding a relation (expression) to a concept.

Synopsis

data RelationConcept
makeRC :: Express e => String -> NP -> Sentence -> e -> RelationConcept

Chunk Type

data RelationConcept Source #

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

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 (`Sentence`) of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods term :: Lens' RelationConcept NP #
ConceptDomain RelationConcept Source #	Finds the domain of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Theory.Drasil.RelationConcept Methods cdom :: RelationConcept -> [UID] #
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

makeRC :: Express e => String -> NP -> Sentence -> e -> RelationConcept Source #

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