fdilke/pyrites
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

minor tidyings

Browse Source
This commit is contained in:
Felix Dilke 2026-01-27 16:19:00 +00:00
parent 7126f0e75b
commit b982072281
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
haskell-experiments/src/Datalog/NaiveDatabase.hs
View File

@ -100,17 +100,12 @@ data BodyConstraint = BodyConstraint {
data RuleContext = RuleContext { data RuleContext = RuleContext {
__relation :: Relation, __relation :: Relation,
-- _variableNames :: [Text],
_headVariables :: [RuleElement], _headVariables :: [RuleElement],
_bodyConstraints :: [BodyConstraint], _bodyConstraints :: [BodyConstraint],
_db :: NaiveDatabase _db :: NaiveDatabase
} }
toElement :: Term -> RuleElement
-- toElement constant@(Var _) = RuleElementConstant constant
-- toElement constant@(Num _) = RuleElementConstant constant
toElement (Var name) = RuleElementVariable name
toElement constant = RuleElementConstant constant
maybeConstant :: RuleElement -> Maybe Constant maybeConstant :: RuleElement -> Maybe Constant
maybeConstant (RuleElementConstant constant) = Just constant maybeConstant (RuleElementConstant constant) = Just constant
maybeConstant _ = Nothing maybeConstant _ = Nothing
@ -202,6 +197,9 @@ withFactsAndRules facts rules =
} }
newRelationMap = Map.insert relationName relation' relationMap newRelationMap = Map.insert relationName relation' relationMap
constants' = constants db' constants' = constants db'
toElement :: Term -> RuleElement
toElement (Var name) = RuleElementVariable name
toElement constant = RuleElementConstant constant
query :: NaiveDatabase -> Text -> Text query :: NaiveDatabase -> Text -> Text
query db qText = query db qText =