module Drasil.SWHS.Goals (goals, waterTempGS, pcmTempGS, waterEnergyGS, 
  pcmEnergyGS) where

import Language.Drasil

import Data.Drasil.Concepts.Documentation (goalStmtDom)
import Data.Drasil.Concepts.Physics (time)

import Drasil.SWHS.Unitals (tempW, tempPCM, watE, pcmE)

goals :: [ConceptInstance]
goals :: [ConceptInstance]
goals = [ConceptInstance
waterTempGS, ConceptInstance
pcmTempGS, ConceptInstance
waterEnergyGS, ConceptInstance
pcmEnergyGS]

waterTempGS :: ConceptInstance
waterTempGS :: ConceptInstance
waterTempGS = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"waterTempGS" (forall varTerm. NamedIdea varTerm => varTerm -> Sentence
goalState ConstrConcept
tempW) String
"Predict-Water-Temperature"
  ConceptChunk
goalStmtDom

pcmTempGS :: ConceptInstance
pcmTempGS :: ConceptInstance
pcmTempGS = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"pcmTempGS" (forall varTerm. NamedIdea varTerm => varTerm -> Sentence
goalState ConstrConcept
tempPCM) String
"Predict-PCM-Temperature" 
  ConceptChunk
goalStmtDom

waterEnergyGS :: ConceptInstance
waterEnergyGS :: ConceptInstance
waterEnergyGS = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"waterEnergyGS" (forall varTerm. NamedIdea varTerm => varTerm -> Sentence
goalState ConstrConcept
watE) String
"Predict-Water-Energy"
  ConceptChunk
goalStmtDom

pcmEnergyGS :: ConceptInstance
pcmEnergyGS :: ConceptInstance
pcmEnergyGS = forall c.
Concept c =>
String -> Sentence -> String -> c -> ConceptInstance
cic String
"pcmEnergyGS" (forall varTerm. NamedIdea varTerm => varTerm -> Sentence
goalState ConstrConcept
pcmE) String
"Predict-PCM-Energy" 
  ConceptChunk
goalStmtDom

goalState :: NamedIdea varTerm => varTerm -> Sentence
goalState :: forall varTerm. NamedIdea varTerm => varTerm -> Sentence
goalState varTerm
varTerm = [Sentence] -> Sentence
foldlSent [String -> Sentence
S String
"Predict the", forall varTerm. NamedIdea varTerm => varTerm -> Sentence
phrase varTerm
varTerm,
  String -> Sentence
S String
"over", forall varTerm. NamedIdea varTerm => varTerm -> Sentence
phrase ConceptChunk
time]