project-m36-1.2.0: src/lib/ProjectM36/DatabaseContextFunctionUtils.hs

module ProjectM36.DatabaseContextFunctionUtils where
import ProjectM36.RelationalExpression
import ProjectM36.Base
import ProjectM36.Error
import ProjectM36.TransactionGraph.Types 
import ProjectM36.DatabaseContext.Types as T
import ProjectM36.StaticOptimizer

executeDatabaseContextExpr :: DatabaseContextExpr' -> TransactionId -> TransactionGraph -> DatabaseContext -> DatabaseContextFunctionUtils -> Either RelationalError DatabaseContext
executeDatabaseContextExpr expr transId graph context' dbcFuncUtils =
  case run of
    Right st -> pure (dbc_context st)
    Left err -> error (show err)
  where
    env = mkDatabaseContextEvalEnv transId graph dbcFuncUtils
    run = runDatabaseContextEvalMonad context' env (optimizeAndEvalDatabaseContextExpr True expr)
  
executeRelationalExpr :: RelationalExpr -> DatabaseContext -> TransactionGraph -> Either RelationalError Relation
executeRelationalExpr expr context graph =
  run
  where
    env = mkRelationalExprEnv context graph
    run = optimizeAndEvalRelationalExpr env expr

-- used in tests where the utils don't matter
dud :: DatabaseContextFunctionUtils
dud = DatabaseContextFunctionUtils
  {
    T.executeDatabaseContextExpr = error "dud executeDatabaseContextExpr",
    T.executeRelationalExpr = error "dud executeRelationalExpr"
  }