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