Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.SWHS.Body

Synopsis

srs :: Document
fullSI :: SystemInformation
printSetting :: PrintingInformation
resourcePath :: String
units :: [UnitDefn]
si :: SystemInformation
purp :: Sentence
motivation :: Sentence
symbMap :: ChunkDB
allRefs :: [Reference]
usedDB :: ChunkDB
refDB :: ReferenceDB
mkSRS :: SRSDecl
tSymbIntro :: [TSIntro]
insModel :: [InstanceModel]
concIns :: [ConceptInstance]
section :: [Section]
stdFields :: Fields
priorityNFReqs :: [ConceptChunk]
introStart :: Sentence
introStartSWHS :: Sentence
introEnd :: Sentence -> CI -> Sentence
externalLinkRef :: Reference
scope :: Sentence
charsOfReader :: [Sentence]
charReaderHTT :: Sentence
charReaderDE :: Sentence
orgDocEnd :: Sentence
sysCntxtDesc :: CI -> Contents
sysCntxtFig :: LabelledContent
sysCntxtRespIntro :: CI -> Contents
systContRespBullets :: CI -> Contents
userResp :: [Sentence]
swhsResp :: [Sentence]
userChars :: CI -> Contents
terms :: [ConceptChunk]
physSystParts :: [Sentence]
physSyst1 :: ConceptChunk -> ConceptChunk -> [Sentence]
physSyst2 :: ConceptChunk -> ConceptChunk -> UnitalChunk -> [Sentence]
figTank :: LabelledContent
goalInputs :: [Sentence]
dataConTail :: Sentence
dataContMid :: Sentence
dataContFooter :: Sentence
outputConstraints :: [ConstrConcept]
propsDeriv :: [Contents]
propCorSolDeriv1 :: (NamedIdea b, NamedIdea h) => ConceptChunk -> b -> UnitalChunk -> ConceptChunk -> CI -> GenDefn -> GenDefn -> h -> ConceptChunk -> Contents
propCorSolDeriv2 :: Contents
propCorSolDeriv3 :: NamedIdea a => a -> UnitalChunk -> CI -> ConceptChunk -> Contents
propCorSolDeriv4 :: Contents
propCorSolDeriv5 :: ConceptChunk -> CI -> CI -> Contents

Documentation

srs :: Document Source #

fullSI :: SystemInformation Source #

printSetting :: PrintingInformation Source #

resourcePath :: String Source #

units :: [UnitDefn] Source #

si :: SystemInformation Source #

purp :: Sentence Source #

motivation :: Sentence Source #

symbMap :: ChunkDB Source #

allRefs :: [Reference] Source #

Holds all references and links used in the document.

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 #

externalLinkRef :: Reference 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 #