git.iko.soy/project-m36
on ffe683a help sign in
project-m36/ProjectM36/DatabaseContext.hs
10 lines 334 B history raw
1module ProjectM36.DatabaseContext where
2import ProjectM36.Base
3import qualified Data.Map as M
4import qualified Data.HashSet as HS
6empty :: DatabaseContext
7empty = DatabaseContext { inclusionDependencies = M.empty,
8 relationVariables = M.empty,
9 atomFunctions = HS.empty }