Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Chunk.Relation

Contents

Chunk Type
Constructors

Description

For adding a relation (expression) to a concept.

Synopsis

data RelationConcept
makeRC :: Express e => String -> NP -> Sentence -> e -> RelationConcept
addRelToCC :: (Express e, Concept c) => c -> String -> 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

Idea RelationConcept Source #	Finds the idea contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods getA :: RelationConcept -> Maybe String Source #
NamedIdea RelationConcept Source #	Finds the term (`NP`) of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods term :: Lens' RelationConcept NP Source #
ConceptDomain RelationConcept Source #	Finds the domain of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods cdom :: RelationConcept -> [UID] Source #
Definition RelationConcept Source #	Finds the definition contained in the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods defn :: Lens' RelationConcept Sentence Source #
Express RelationConcept Source #	Convert the `RelationConcept` into the model expression language.
Instance details Defined in Language.Drasil.Chunk.Relation Methods express :: RelationConcept -> ModelExpr Source #
HasUID RelationConcept Source #	Finds the `UID` of the `ConceptChunk` used to make the `RelationConcept`.
Instance details Defined in Language.Drasil.Chunk.Relation Methods uid :: Lens' RelationConcept UID Source #
Eq RelationConcept Source #	Equal if `UID`s are equal.
Instance details Defined in Language.Drasil.Chunk.Relation 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 (NP), definition (Sentence), and Relation.

addRelToCC :: (Express e, Concept c) => c -> String -> e -> RelationConcept Source #

Create a new RelationConcept from an old Concept. Takes a Concept, new UID and relation.