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

using the typeclass

Browse Source
This commit is contained in:
Felix Dilke 2026-01-29 17:07:44 +00:00
parent 069733e474
commit 6ae455886b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,7 +40,7 @@ instance DatalogDB NaiveDatabase where
-- insertRelation :: NaiveDatabase -> Text -> Relation -> NaiveDatabase -- insertRelation :: NaiveDatabase -> Text -> Relation -> NaiveDatabase
-- insertRelation = _ -- insertRelation = _
lookupRelation0 :: RelationId -> NaiveDatabase -> Int -> Set [Term] -> Relation lookupRelation0 :: DatalogDB db => Text -> db -> Int -> Set [Constant] -> Relation
lookupRelation0 relationName db newArity tuples = lookupRelation0 relationName db newArity tuples =
case lookupRelation db relationName of case lookupRelation db relationName of
Nothing -> Relation relationName newArity tuples [] Nothing -> Relation relationName newArity tuples []