git.iko.soy/project-m36
on cfa7253 help sign in
project-m36/src/lib/ProjectM36/DatabaseContext.hs
35 lines 1.9 kB history raw
1module ProjectM36.DatabaseContext where
2import ProjectM36.Base
3import qualified Data.Map as M
4import qualified Data.HashSet as HS
5import ProjectM36.DataTypes.Basic
6import ProjectM36.AtomFunctions.Basic
7import ProjectM36.DatabaseContextFunction
8import ProjectM36.Relation
10empty :: DatabaseContext
11empty = DatabaseContext { inclusionDependencies = M.empty,
12 relationVariables = M.empty,
13 notifications = M.empty,
14 atomFunctions = HS.empty,
15 dbcFunctions = HS.empty,
16 typeConstructorMapping = [] }
18-- | convert an existing database context into its constituent expression.
19databaseContextAsDatabaseContextExpr :: DatabaseContext -> DatabaseContextExpr
20databaseContextAsDatabaseContextExpr context = MultipleExpr $ relVarsExprs ++ incDepsExprs ++ funcsExprs
21 where
22 relVarsExprs = map (\(name, rel) -> Assign name (ExistingRelation rel)) (M.toList (relationVariables context))
23 incDepsExprs :: [DatabaseContextExpr]
24 incDepsExprs = map (uncurry AddInclusionDependency) (M.toList (inclusionDependencies context))
25 funcsExprs = [] -- map (\func -> ) (HS.toList funcs) -- there are no databaseExprs to add atom functions yet
27basicDatabaseContext :: DatabaseContext
28basicDatabaseContext = DatabaseContext { inclusionDependencies = M.empty,
29 relationVariables = M.fromList [("true", relationTrue),
30 ("false", relationFalse)],
31 atomFunctions = basicAtomFunctions,
32 dbcFunctions = basicDatabaseContextFunctions,
33 notifications = M.empty,
34 typeConstructorMapping = basicTypeConstructorMapping
35 }