module Drasil.SRS.DummyChunks (
  sections, tables
) where

import Language.Drasil
import Language.Drasil.Document

import Drasil.SRS.Concepts
import Drasil.SRS.Sections.AuxiliaryConstants (tableOfConstants)
import Drasil.SRS.Sections.SpecificSystemDescription (inDataConstTbl, outDataConstTbl)
import Drasil.SRS.Sections.TableOfAbbAndAcronyms (tableAbbAccGen)
import Drasil.SRS.Sections.TableOfSymbols (table)
import Drasil.SRS.Sections.TableOfUnits (tOfUnitNone)

sections :: [Section]
sections :: [Section]
sections = (([Contents] -> [Section] -> Section) -> Section)
-> [[Contents] -> [Section] -> Section] -> [Section]
forall a b. (a -> b) -> [a] -> [b]
map ((([Section] -> Section) -> [Section] -> Section
forall a b. (a -> b) -> a -> b
$ []) (([Section] -> Section) -> Section)
-> (([Contents] -> [Section] -> Section) -> [Section] -> Section)
-> ([Contents] -> [Section] -> Section)
-> Section
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (([Contents] -> [Section] -> Section)
-> [Contents] -> [Section] -> Section
forall a b. (a -> b) -> a -> b
$ []))
  [[Contents] -> [Section] -> Section
tOfCont, [Contents] -> [Section] -> Section
refMat, [Contents] -> [Section] -> Section
tOfUnit, [Contents] -> [Section] -> Section
tOfSymb, [Contents] -> [Section] -> Section
tOfAbbAcc, [Contents] -> [Section] -> Section
intro, [Contents] -> [Section] -> Section
prpsOfDoc, [Contents] -> [Section] -> Section
scpOfReq,
  [Contents] -> [Section] -> Section
charOfIR, [Contents] -> [Section] -> Section
orgOfDoc, [Contents] -> [Section] -> Section
stakeholder, [Contents] -> [Section] -> Section
theCustomer, [Contents] -> [Section] -> Section
theClient, [Contents] -> [Section] -> Section
genSysDes, [Contents] -> [Section] -> Section
sysCont,
  [Contents] -> [Section] -> Section
userChar, [Contents] -> [Section] -> Section
sysCon, [Contents] -> [Section] -> Section
specSysDes, [Contents] -> [Section] -> Section
probDesc, [Contents] -> [Section] -> Section
termAndDefn, [Contents] -> [Section] -> Section
physSyst, [Contents] -> [Section] -> Section
goalStmt,
  [Contents] -> [Section] -> Section
solCharSpec, [Contents] -> [Section] -> Section
assumpt, [Contents] -> [Section] -> Section
thModel, [Contents] -> [Section] -> Section
genDefn, [Contents] -> [Section] -> Section
dataDefn, [Contents] -> [Section] -> Section
inModel, [Contents] -> [Section] -> Section
datCon, [Contents] -> [Section] -> Section
propCorSol,
  [Contents] -> [Section] -> Section
require, [Contents] -> [Section] -> Section
nonfuncReq, [Contents] -> [Section] -> Section
funcReq, [Contents] -> [Section] -> Section
likeChg, [Contents] -> [Section] -> Section
unlikeChg, [Contents] -> [Section] -> Section
traceyMandG, [Contents] -> [Section] -> Section
valsOfAuxCons,
  [Contents] -> [Section] -> Section
reference, [Contents] -> [Section] -> Section
appendix, [Contents] -> [Section] -> Section
offShelfSol, [Contents] -> [Section] -> Section
scpOfTheProj, [Contents] -> [Section] -> Section
prodUCTable, [Contents] -> [Section] -> Section
indPRCase,
  [Contents] -> [Section] -> Section
termogy]

tables :: [LabelledContent]
tables :: [LabelledContent]
tables = [[TermAbbr] -> LabelledContent
tableAbbAccGen [], Stage
-> [DefinedQuantityDict]
-> (DefinedQuantityDict -> Sentence)
-> LabelledContent
forall s.
(Quantity s, MayHaveUnit s) =>
Stage -> [s] -> (s -> Sentence) -> LabelledContent
table Stage
Equational [DefinedQuantityDict]
empT (Sentence -> DefinedQuantityDict -> Sentence
forall a b. a -> b -> a
const Sentence
EmptyS),
  [UnitDefn] -> LabelledContent
tOfUnitNone [], [ConstQDef] -> LabelledContent
tableOfConstants [], [UncertQ] -> LabelledContent
forall c.
(HasUncertainty c, Quantity c, Constrained c, HasReasVal c,
 MayHaveRationale c, MayHaveUnit c) =>
[c] -> LabelledContent
inDataConstTbl [UncertQ]
empTCQs, [UncertQ] -> LabelledContent
forall c. (Quantity c, Constrained c) => [c] -> LabelledContent
outDataConstTbl [UncertQ]
empTCQs]
  where
    empT :: [DefinedQuantityDict]
empT = [] :: [DefinedQuantityDict]
    empTCQs :: [UncertQ]
empTCQs = [] :: [UncertQ]