tidying up imports

This commit is contained in:
Felix Dilke 2026-01-30 14:47:29 +00:00
parent 6b3dae34f5
commit faefb3c2c7
3 changed files with 1 additions and 6 deletions

View File

@ -7,8 +7,6 @@
module Datalog.DatalogDB where module Datalog.DatalogDB where
import Control.Exception.Base import Control.Exception.Base
import Data.List
import Data.Maybe
import Data.Set (Set) import Data.Set (Set)
import Data.Set qualified as Set import Data.Set qualified as Set
import Data.Text (Text) import Data.Text (Text)

View File

@ -9,14 +9,12 @@
module Datalog.NaiveDatabase where module Datalog.NaiveDatabase where
import Control.Exception.Base import Control.Exception.Base
import Data.List
import Data.Map (Map) import Data.Map (Map)
import Data.Map qualified as Map import Data.Map qualified as Map
import Data.Maybe
import Data.Set (Set) import Data.Set (Set)
import Data.Set qualified as Set import Data.Set qualified as Set
import Data.Text (Text) import Data.Text (Text)
import Datalog.DatalogParser (Literal (..), Statement (..), Term (..), parseDatalog) import Datalog.DatalogParser (Literal (..), Statement (..), parseDatalog)
import Datalog.Rules import Datalog.Rules
import Datalog.DatalogDB import Datalog.DatalogDB

View File

@ -17,7 +17,6 @@ module Test.Datalog.NaiveDatabaseSpec where
import Data.Map qualified as Map import Data.Map qualified as Map
import Data.Set qualified as Set import Data.Set qualified as Set
import Datalog.DatalogParser import Datalog.DatalogParser
import Datalog.Rules
import Datalog.NaiveDatabase import Datalog.NaiveDatabase
import Datalog.NaiveDatabase qualified as NaiveDatabase import Datalog.NaiveDatabase qualified as NaiveDatabase
import Test.Hspec import Test.Hspec