{-# LANGUAGE NoMonomorphismRestriction #-}

module Drasil.SWHSNoPCM.GenDefs (rocTempSimp, genDefs) where

import Language.Drasil
import Theory.Drasil (GenDefn, gdNoRefs, othModel')

import Drasil.SWHSNoPCM.Assumptions (assumpDWCoW, assumpSHECoW)
import Drasil.SWHS.Assumptions (assumpCWTAT)
import Drasil.SWHS.GenDefs (htFluxWaterFromCoil, rocTempSimpRC, rocTempSimpDeriv)

genDefs :: [GenDefn]
genDefs :: [GenDefn]
genDefs = [GenDefn
rocTempSimp, GenDefn
htFluxWaterFromCoil] 

rocTempSimp :: GenDefn
rocTempSimp :: GenDefn
rocTempSimp = forall u.
IsUnit u =>
ModelKind ModelExpr
-> Maybe u -> Maybe Derivation -> String -> [Sentence] -> GenDefn
gdNoRefs (forall e. RelationConcept -> ModelKind e
othModel' RelationConcept
rocTempSimpRC) (forall a. Maybe a
Nothing :: Maybe UnitDefn)
  (forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ Sentence -> [ConceptInstance] -> Derivation
rocTempSimpDeriv Sentence
EmptyS [ConceptInstance
assumpCWTAT, ConceptInstance
assumpDWCoW, ConceptInstance
assumpSHECoW])
  String
"rocTempSimp" [{-Notes-}]