| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Chunk.Concept
Description
Contains functions to create the concept related chunk types found in Language.Drasil.Chunk.Concept.Core.
Synopsis
- data ConceptChunk
- cncpt :: Concept dom => UID -> NP -> Sentence -> String -> [dom] -> ConceptChunk
- cncpt' :: Concept dom => UID -> NP -> Sentence -> [dom] -> ConceptChunk
- cncpt'' :: UID -> NP -> Sentence -> String -> ConceptChunk
- cncpt''' :: UID -> NP -> Sentence -> 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
| HasChunkRefs ConceptChunk Source # | |
Defined in Language.Drasil.Chunk.Concept.Core Methods chunkRefs :: ConceptChunk -> Set UID # | |
| HasUID ConceptChunk Source # | Finds |
Defined in Language.Drasil.Chunk.Concept.Core Methods uid :: Getter ConceptChunk UID # | |
| Idea ConceptChunk Source # | Finds the abbreviation of the |
Defined in Language.Drasil.Chunk.Concept.Core | |
| NamedIdea ConceptChunk Source # | Finds term ( |
Defined in Language.Drasil.Chunk.Concept.Core Methods term :: Lens' ConceptChunk NP Source # | |
| ConceptDomain ConceptChunk Source # | Finds the domain of |
Defined in Language.Drasil.Chunk.Concept.Core Methods cdom :: ConceptChunk -> [UID] Source # | |
| Definition ConceptChunk Source # | Finds definition of a |
Defined in Language.Drasil.Chunk.Concept.Core Methods defn :: Lens' ConceptChunk Sentence Source # | |
| Eq ConceptChunk Source # | Equal if |
Defined in Language.Drasil.Chunk.Concept.Core | |
Arguments
| :: Concept dom | |
| => UID | The |
| -> NP | |
| -> Sentence | The definition of the |
| -> String | The term's abbreviation. |
| -> [dom] | The domain the |
| -> ConceptChunk |
Construct a ConceptChunk.
Arguments
| :: Concept dom | |
| => UID | The |
| -> NP | The |
| -> Sentence | The definition of the |
| -> [dom] | The domain the |
| -> ConceptChunk |
Construct a ConceptChunk.
Arguments
| :: UID | The |
| -> NP | The |
| -> Sentence | The definition of the |
| -> String | The term's abbreviation. |
| -> ConceptChunk |
Construct a ConceptChunk.
Arguments
| :: UID | The |
| -> NP | The |
| -> Sentence | The definition of the |
| -> ConceptChunk |
Construct a ConceptChunk.
cw :: Concept c => c -> ConceptChunk Source #
Deprecated: Chunk down-casting is strongly discouraged. If you want to construct a ConceptChunk, use one of its normal constructors.
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.