swhs-0.1.24.0: A framework for code and document generation for scientific software - Example SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.SWHS.TMods

Documentation

data PhaseChange Source #

Constructors

Liquid 

consThermE :: TheoryModel Source #

latentHtE :: TheoryModel Source #

nwtnCooling :: TheoryModel Source #

sensHtE :: TheoryModel Source #

sensHtETemplate :: PhaseChange -> Sentence -> TheoryModel Source #

tMods :: [TheoryModel] Source #