| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Metadata
Synopsis
- drasilMeta :: DrasilMeta
- watermark :: String
- compScience :: IdeaDict
- softEng :: IdeaDict
- mathematics :: IdeaDict
- progLanguage :: IdeaDict
- physics :: IdeaDict
- civilEng :: IdeaDict
- materialEng :: IdeaDict
- documentc :: IdeaDict
- knowledgemng :: IdeaDict
- runnableSoftware :: IdeaDict
- website :: IdeaDict
- dataDefn :: CI
- genDefn :: CI
- inModel :: CI
- thModel :: CI
Drasil Metadata
drasilMeta :: DrasilMeta Source #
Drasil metadata.
Domains
compScience :: IdeaDict Source #
For ideas, concepts, or terms related to Computer Science.
Various domains that are used in Drasil. May have an abbreviation.
For ideas, concepts, or terms related to Software Engineering.
Various domains that are used in Drasil. May have an abbreviation.
mathematics :: IdeaDict Source #
For ideas, concepts, or terms related to Mathematics.
Various domains that are used in Drasil. May have an abbreviation.
progLanguage :: IdeaDict Source #
For ideas, concepts, or terms related to Programming Languages.
Various domains that are used in Drasil. May have an abbreviation.
For ideas, concepts, or terms related to Physics.
Various domains that are used in Drasil. May have an abbreviation.
For ideas, concepts, or terms related to Civil Engineering.
Various domains that are used in Drasil. May have an abbreviation.
materialEng :: IdeaDict Source #
For ideas, concepts, or terms related to Material Engineering.
Various domains that are used in Drasil. May have an abbreviation.
documentc :: IdeaDict Source #
For ideas, concepts, or terms related to Documents.
Various domains that are used in Drasil. May have an abbreviation.
knowledgemng :: IdeaDict Source #
For ideas, concepts, or terms related to Knowledge Management.
Various domains that are used in Drasil. May have an abbreviation.
Supported Software
Supported Software
Theory Concepts
Data definition.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.
General definition.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.
Instance model.
These are internal-to-Drasil common ideas, and need to be defined at the same time as theories.