| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Drasil.Theories.Physics
Description
Defines theories in the field of Physics.
Synopsis
- physicsTMs :: [TheoryModel]
- newtonSL :: TheoryModel
- weightGD :: GenDefn
- weightQD :: ModelQDef
- weightSrc :: Reference
- weightDeriv :: Derivation
- weightDerivSentences :: [Sentence]
- weightDerivEqns :: [Sentence]
- weightDerivAccelSentence :: [Sentence]
- weightDerivNewtonSentence :: [Sentence]
- weightDerivReplaceMassSentence :: [Sentence]
- weightDerivSpecWeightSentence :: [Sentence]
- hsPressureGD :: GenDefn
- hsPressureQD :: ModelQDef
- hsPressureSrc :: Reference
- hsPressureNotes :: Sentence
- torqueDD :: DataDefinition
- torque :: SimpleQDef
- torqueEqn :: Expr
- torqueDesc :: Sentence
- vecMagQD :: SimpleQDef
- magNote :: Sentence
- vecMag :: DataDefinition
- newtonSLR :: TheoryModel
- newtonSLRQD :: ModelQDef
- newtonSLRExpr :: ExprC r => r
- newtonSLRNotes :: [Sentence]
- accelerationTM :: TheoryModel
- velocityTM :: TheoryModel
Documentation
physicsTMs :: [TheoryModel] Source #
Collects theoretical models defined in this file.
Newton's Second Law of Motion
Weight
weightDerivEqns :: [Sentence] Source #
Pressure
Torque
torque :: SimpleQDef Source #
Vector Magnitude
Newton's Second Law of Rotational Motion
newtonSLRExpr :: ExprC r => r Source #
newtonSLRNotes :: [Sentence] Source #