Documentation

srs :: Document Source #

fullSI :: SystemInformation Source #

printSetting :: PrintingInformation Source #

resourcePath :: String Source #

units :: [UnitDefn] Source #

si :: SystemInformation Source #

purp :: Sentence Source #

symbMap :: ChunkDB Source #

usedDB :: ChunkDB Source #

refDB :: ReferenceDB Source #

mkSRS :: SRSDecl Source #

tSymbIntro :: [TSIntro] Source #

insModel :: [InstanceModel] Source #

concIns :: [ConceptInstance] Source #

section :: [Section] Source #

stdFields :: Fields Source #

priorityNFReqs :: [ConceptChunk] Source #

introStart :: Sentence Source #

introStartSWHS :: Sentence Source #

introEnd :: Sentence -> CI -> Sentence Source #

scope :: Sentence Source #

charsOfReader :: [Sentence] Source #

charReaderHTT :: Sentence Source #

charReaderDE :: Sentence Source #

orgDocEnd :: Sentence Source #

sysCntxtDesc :: CI -> Contents Source #

sysCntxtFig :: LabelledContent Source #

sysCntxtRespIntro :: CI -> Contents Source #

systContRespBullets :: CI -> Contents Source #

userResp :: [Sentence] Source #

swhsResp :: [Sentence] Source #

userChars :: CI -> Contents Source #

terms :: [ConceptChunk] Source #

physSystParts :: [Sentence] Source #

physSyst1 :: ConceptChunk -> ConceptChunk -> [Sentence] Source #

physSyst2 :: ConceptChunk -> ConceptChunk -> UnitalChunk -> [Sentence] Source #

figTank :: LabelledContent Source #

goalInputs :: [Sentence] Source #

dataConTail :: Sentence Source #

dataContMid :: Sentence Source #

dataContFooter :: Sentence Source #

outputConstraints :: [ConstrConcept] Source #

propsDeriv :: [Contents] Source #

propCorSolDeriv1 :: (NamedIdea b, NamedIdea h) => ConceptChunk -> b -> UnitalChunk -> ConceptChunk -> CI -> GenDefn -> GenDefn -> h -> ConceptChunk -> Contents Source #

propCorSolDeriv2 :: Contents Source #

propCorSolDeriv3 :: NamedIdea a => a -> UnitalChunk -> CI -> ConceptChunk -> Contents Source #

propCorSolDeriv4 :: Contents Source #

propCorSolDeriv5 :: ConceptChunk -> CI -> CI -> Contents Source #