-
Notifications
You must be signed in to change notification settings - Fork 26
/
Concepts.hs
22 lines (17 loc) · 946 Bytes
/
Concepts.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
module Drasil.GamePhysics.Concepts (centreMass, threeD, twoD, gamePhysics, acronyms) where
import Language.Drasil
import Data.Drasil.Concepts.Documentation (assumption, goalStmt, likelyChg,
requirement, refBy, refName, srs, typUnc, unlikelyChg)
import Data.Drasil.Concepts.Math (ode)
import Data.Drasil.Concepts.PhysicalProperties (ctrOfMass)
import Data.Drasil.Concepts.Physics (threeD, twoD)
import Data.Drasil.TheoryConcepts (dataDefn, genDefn, inModel, thModel)
import Data.Drasil.Domains (physics)
import Control.Lens ((^.))
----- Acronyms -----
acronyms :: [CI]
acronyms = [assumption, centreMass, dataDefn, genDefn, goalStmt, inModel,
likelyChg, ode, requirement, refBy, refName, srs, thModel, threeD, twoD, typUnc, unlikelyChg]
centreMass, gamePhysics :: CI
centreMass = commonIdeaWithDict "centreMass" (ctrOfMass ^. term) "CM" [physics]
gamePhysics = commonIdeaWithDict "gamePhysics" (pn "GamePhysics") "GamePhysics" [physics]