Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Contains functions to create the concept related chunk types found in Language.Drasil.Chunk.Concept.Core.
Synopsis
- data ConceptChunk
- dcc :: String -> NP -> String -> ConceptChunk
- dccWDS :: String -> NP -> Sentence -> ConceptChunk
- cc :: Idea c => c -> String -> ConceptChunk
- cc' :: Idea c => c -> Sentence -> ConceptChunk
- ccs :: (Idea c, Concept d) => c -> Sentence -> [d] -> ConceptChunk
- cw :: Concept c => c -> ConceptChunk
- data ConceptInstance
- cic :: Concept c => String -> Sentence -> String -> c -> ConceptInstance
Concept Chunks
From an idea (IdeaDict
)
data ConceptChunk Source #
The ConceptChunk datatype records a concept that contains an idea (IdeaDict
),
a definition (Sentence
), and an associated domain of knowledge ([UID
]).
Ex. The concept of Accuracy may be defined as the quality or state of being correct or precise.
Instances
Idea ConceptChunk Source # | Finds the idea contained in the |
Defined in Language.Drasil.Chunk.Concept.Core | |
NamedIdea ConceptChunk Source # | Finds term ( |
Defined in Language.Drasil.Chunk.Concept.Core term :: Lens' ConceptChunk NP Source # | |
ConceptDomain ConceptChunk Source # | Finds the domain of |
Defined in Language.Drasil.Chunk.Concept.Core cdom :: ConceptChunk -> [UID] Source # | |
Definition ConceptChunk Source # | Finds definition of a |
Defined in Language.Drasil.Chunk.Concept.Core defn :: Lens' ConceptChunk Sentence Source # | |
HasUID ConceptChunk Source # | Finds |
Defined in Language.Drasil.Chunk.Concept.Core uid :: Lens' ConceptChunk UID Source # | |
Eq ConceptChunk Source # | Equal if |
Defined in Language.Drasil.Chunk.Concept.Core (==) :: ConceptChunk -> ConceptChunk -> Bool # (/=) :: ConceptChunk -> ConceptChunk -> Bool # |
cc :: Idea c => c -> String -> ConceptChunk Source #
Constructor for projecting an idea into a ConceptChunk
. Takes the definition of the
ConceptChunk
as a String
. Does not allow concept domain tagging.
ccs :: (Idea c, Concept d) => c -> Sentence -> [d] -> ConceptChunk Source #
Similar to cc'
, but allows explicit domain tagging.
cw :: Concept c => c -> ConceptChunk Source #
For projecting out to the ConceptChunk
data-type.
From a ConceptChunk
data ConceptInstance Source #
Contains a ConceptChunk
, reference address, and a ShortName
.
It is a concept that can be referred to, or rather, a instance of where a concept is applied.
Often used in Goal Statements, Assumptions, Requirements, etc.
Ex. Something like the assumption that gravity is 9.81 m/s. When we write our equations, we can then link this assumption so that we do not have to explicitly define that assumption when needed to verify our work.