diff --git a/haskell-experiments/src/Datalog/DatalogDB.hs b/haskell-experiments/src/Datalog/DatalogDB.hs index 8a689cd..acadbac 100644 --- a/haskell-experiments/src/Datalog/DatalogDB.hs +++ b/haskell-experiments/src/Datalog/DatalogDB.hs @@ -7,8 +7,6 @@ module Datalog.DatalogDB where import Control.Exception.Base -import Data.List -import Data.Maybe import Data.Set (Set) import Data.Set qualified as Set import Data.Text (Text) diff --git a/haskell-experiments/src/Datalog/NaiveDatabase.hs b/haskell-experiments/src/Datalog/NaiveDatabase.hs index 5f512f6..8dacb94 100644 --- a/haskell-experiments/src/Datalog/NaiveDatabase.hs +++ b/haskell-experiments/src/Datalog/NaiveDatabase.hs @@ -9,14 +9,12 @@ module Datalog.NaiveDatabase where import Control.Exception.Base -import Data.List import Data.Map (Map) import Data.Map qualified as Map -import Data.Maybe import Data.Set (Set) import Data.Set qualified as Set import Data.Text (Text) -import Datalog.DatalogParser (Literal (..), Statement (..), Term (..), parseDatalog) +import Datalog.DatalogParser (Literal (..), Statement (..), parseDatalog) import Datalog.Rules import Datalog.DatalogDB diff --git a/haskell-experiments/test/Test/Datalog/NaiveDatabaseSpec.hs b/haskell-experiments/test/Test/Datalog/NaiveDatabaseSpec.hs index 54ed9e8..3662a64 100644 --- a/haskell-experiments/test/Test/Datalog/NaiveDatabaseSpec.hs +++ b/haskell-experiments/test/Test/Datalog/NaiveDatabaseSpec.hs @@ -17,7 +17,6 @@ module Test.Datalog.NaiveDatabaseSpec where import Data.Map qualified as Map import Data.Set qualified as Set import Datalog.DatalogParser -import Datalog.Rules import Datalog.NaiveDatabase import Datalog.NaiveDatabase qualified as NaiveDatabase import Test.Hspec