| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Generator.CommonKnowledge
Synopsis
- withCommonKnowledge :: [Reference] -> [DefinedQuantityDict] -> [IdeaDict] -> [ConceptChunk] -> [UnitDefn] -> [DataDefinition] -> [InstanceModel] -> [GenDefn] -> [TheoryModel] -> [ConceptInstance] -> [Citation] -> [LabelledContent] -> ChunkDB
Common Background Knowledge for Drasil's Science-focused Case Studies
withCommonKnowledge :: [Reference] -> [DefinedQuantityDict] -> [IdeaDict] -> [ConceptChunk] -> [UnitDefn] -> [DataDefinition] -> [InstanceModel] -> [GenDefn] -> [TheoryModel] -> [ConceptInstance] -> [Citation] -> [LabelledContent] -> ChunkDB Source #
Create a ChunkDB containing background knowledge common to all of
Drasil's existing case studies. This means knowledge related to the
SmithEtAl-esque SRS, mathematics, physics, general science, basic software,
and general documentation.