diff options
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict.hs | 2 | ||||
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 6 | ||||
| -rw-r--r-- | test/Main.hs | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict.hs b/src/Data/Dependent/EnumMap/Strict.hs index 2e7066c..b62edd4 100644 --- a/src/Data/Dependent/EnumMap/Strict.hs +++ b/src/Data/Dependent/EnumMap/Strict.hs @@ -188,5 +188,5 @@ module Data.Dependent.EnumMap.Strict ( maxViewWithKey, ) where -import Prelude () import Data.Dependent.EnumMap.Strict.Internal +import Prelude () diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs index f45d22e..629b8af 100644 --- a/src/Data/Dependent/EnumMap/Strict/Internal.hs +++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs @@ -1,8 +1,8 @@ {-# LANGUAGE BangPatterns #-} {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE PolyKinds #-} -{-# LANGUAGE RankNTypes #-} {-# LANGUAGE QuantifiedConstraints #-} +{-# LANGUAGE RankNTypes #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE StandaloneKindSignatures #-} {-# LANGUAGE TypeApplications #-} @@ -13,8 +13,8 @@ import Control.Exception import Data.Bifunctor (bimap, second) import Data.Coerce import Data.Dependent.Sum -import qualified Data.Foldable as Foldable -import qualified Data.IntMap.Strict as IM +import Data.Foldable qualified as Foldable +import Data.IntMap.Strict qualified as IM import Data.Kind (Type) import Data.Proxy import Data.Some diff --git a/test/Main.hs b/test/Main.hs index 19f56e2..fb97552 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -6,7 +6,7 @@ {-# LANGUAGE TypeFamilies #-} module Main where -import qualified Data.Dependent.EnumMap.Strict as DE +import Data.Dependent.EnumMap.Strict qualified as DE import Data.Dependent.Sum import Data.Some |