drasil-sysinfo-0.1.1.0: A framework for code and document generation for scientific software - SystemInformation SubPackage

Safe Haskell	Safe-Inferred
Language	Haskell2010

SysInfo.Drasil

Contents

System Information
Reference Database
- Utility Helper Functions

Synopsis

data SystemInformation where
- SI :: (CommonIdea a, Idea a, Idea b, HasName c, Quantity e, Eq e, MayHaveUnit e, Quantity f, MayHaveUnit f, Concept f, Eq f, Quantity h, MayHaveUnit h, Quantity i, MayHaveUnit i, HasUID j, Constrained j) => {..} -> SystemInformation
data Block a = Parallel a [a]
sysinfodb :: Lens' SystemInformation ChunkDB
data ReferenceDB
type RefMap a = Map UID (a, Int)
type Purpose = [Sentence]
type Background = [Sentence]
citeDB :: SystemInformation -> BibRef
rdb :: BibRef -> [ConceptInstance] -> ReferenceDB
simpleMap :: HasUID a => [a] -> RefMap a
citationDB :: Lens' ReferenceDB BibMap
conceptDB :: Lens' ReferenceDB ConceptMap
ccss :: [Sentence] -> [ModelExpr] -> ChunkDB -> [DefinedQuantityDict]
ccss' :: [Sentence] -> [ModelExpr] -> ChunkDB -> [QuantityDict]
combine :: Sentence -> ChunkDB -> [DefinedQuantityDict]
getIdeaDict :: Sentence -> ChunkDB -> [IdeaDict]
vars :: ModelExpr -> ChunkDB -> [QuantityDict]

System Information

data SystemInformation where Source #

Data structure for holding all of the requisite information about a system to be used in artifact generation.

Constructors

Fields

:: (CommonIdea a, Idea a, Idea b, HasName c, Quantity e, Eq e, MayHaveUnit e, Quantity f, MayHaveUnit f, Concept f, Eq f, Quantity h, MayHaveUnit h, Quantity i, MayHaveUnit i, HasUID j, Constrained j)
=> { _sys :: a
, _kind :: b
, _authors :: [c]
, _purpose :: Purpose
, _background :: Background
, _quants :: [e]
, _concepts :: [f]
, _instModels :: [InstanceModel]
, _datadefs :: [DataDefinition]
, _configFiles :: [String]
, _inputs :: [h]
, _outputs :: [i]
, _defSequence :: [Block SimpleQDef]
, _constraints :: [j]
, _constants :: [ConstQDef]
, _sysinfodb :: ChunkDB
, _usedinfodb :: ChunkDB
, refdb :: ReferenceDB
} -> SystemInformation

data Block a Source #

for listing QDefinitions in SystemInformation.

Constructors

sysinfodb :: Lens' SystemInformation ChunkDB Source #

Reference Database

data ReferenceDB Source #

Database for internal references. Contains citations and referrable concepts.

type RefMap a = Map UID (a, Int) Source #

Database for maintaining references. The Int is that reference's number. Maintains access to both num and chunk for easy reference swapping between number and shortname/refname when necessary (or use of number if no shortname exists).

type Purpose = [Sentence] Source #

Project Example purpose.

type Background = [Sentence] Source #

Project Example background information, used in the What section of README.

citeDB :: SystemInformation -> BibRef Source #

Helper for extracting a bibliography from the system information.

rdb :: BibRef -> [ConceptInstance] -> ReferenceDB Source #

Smart constructor for creating a reference database from a bibliography and concept instances.

simpleMap :: HasUID a => [a] -> RefMap a Source #

Constructor that makes a RefMap from things that have a UID.

citationDB :: Lens' ReferenceDB BibMap Source #

conceptDB :: Lens' ReferenceDB ConceptMap Source #

Utility Helper Functions

ccss :: [Sentence] -> [ModelExpr] -> ChunkDB -> [DefinedQuantityDict] Source #

Gets a list of defined quantities (DefinedQuantityDicts) from Sentences and expressions that are contained in the database (ChunkDB).

ccss' :: [Sentence] -> [ModelExpr] -> ChunkDB -> [QuantityDict] Source #

Gets a list of quantities (QuantityDicts) from Sentences and expressions that are contained in the database (ChunkDB).

combine :: Sentence -> ChunkDB -> [DefinedQuantityDict] Source #

Combines the functions of vars and concpt to create a list of DefinedQuantityDicts from a Sentence.

getIdeaDict :: Sentence -> ChunkDB -> [IdeaDict] Source #

Gets a list of ideas (IdeaDict) from a Sentence in order to print.

vars :: ModelExpr -> ChunkDB -> [QuantityDict] Source #

Gets a list of quantities (QuantityDict) from an equation in order to print.