| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Language.Drasil.Document.ConceptInstance
Synopsis
- data ConceptInstance
- cic :: Concept c => String -> Sentence -> String -> c -> ConceptInstance
Documentation
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.