Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- srs :: Document
- fullSI :: SystemInformation
- printSetting :: PrintingInformation
- mkSRS :: SRSDecl
- si :: SystemInformation
- purp :: Sentence
- motivation :: Sentence
- background :: Sentence
- symbolsAll :: [QuantityDict]
- symbMap :: ChunkDB
- allRefs :: [Reference]
- usedDB :: ChunkDB
- stdFields :: Fields
- refDB :: ReferenceDB
- concIns :: [ConceptInstance]
- justification :: CI -> Sentence
- externalLinkRef :: Reference
- scope :: Sentence
- charsOfReader :: [Sentence]
- sysCtxIntro :: CI -> Contents
- sysCtxDesc :: Contents
- sysCtxUsrResp :: CI -> [Sentence]
- sysCtxSysResp :: [Sentence]
- sysCtxResp :: CI -> [Sentence]
- sysCtxList :: CI -> Contents
- userCharacteristicsIntro :: CI -> Contents
- terms :: [ConceptChunk]
- physSystParts :: [Sentence]
- tMods :: [TheoryModel]
Documentation
symbolsAll :: [QuantityDict] Source #
refDB :: ReferenceDB Source #
concIns :: [ConceptInstance] Source #
justification :: CI -> Sentence Source #
charsOfReader :: [Sentence] Source #
sysCtxIntro :: CI -> Contents Source #
sysCtxUsrResp :: CI -> [Sentence] Source #
sysCtxSysResp :: [Sentence] Source #
sysCtxResp :: CI -> [Sentence] Source #
sysCtxList :: CI -> Contents Source #
terms :: [ConceptChunk] Source #
physSystParts :: [Sentence] Source #
tMods :: [TheoryModel] Source #