sglpend-0.1.24.0: A framework for code and document generation for scientific software - Example SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.SglPend.Body

Synopsis

Documentation

srs :: Document Source #

fullSI :: SystemInformation Source #

printSetting :: PrintingInformation Source #

mkSRS :: SRSDecl Source #

progName :: CI Source #

si :: SystemInformation Source #

purp :: Sentence Source #

symbMap :: ChunkDB Source #

allRefs :: [Reference] Source #

Holds all references and links used in the document.

usedDB :: ChunkDB Source #

concIns :: [ConceptInstance] Source #

physSystParts :: [Sentence] Source #

tMods :: [TheoryModel] Source #