diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/Gen.hs | 13 | ||||
-rw-r--r-- | test/Main.hs | 3 | ||||
-rw-r--r-- | test/Util.hs | 3 |
3 files changed, 11 insertions, 8 deletions
diff --git a/test/Gen.hs b/test/Gen.hs index 3e879b9..5f84ce0 100644 --- a/test/Gen.hs +++ b/test/Gen.hs @@ -1,5 +1,6 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} +{-# LANGUAGE ImportQualifiedPost #-} {-# LANGUAGE NumericUnderscores #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE RankNTypes #-} @@ -11,20 +12,20 @@ {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} module Gen where -import qualified Data.ByteString as BS +import Data.ByteString qualified as BS import Data.Foldable (toList) -import qualified Data.Vector.Storable as VS +import Data.Vector.Storable qualified as VS import Foreign import GHC.TypeLits -import qualified GHC.TypeNats as TN +import GHC.TypeNats qualified as TN import Data.Array.Mixed.Types import Data.Array.Nested import Hedgehog -import qualified Hedgehog.Gen as Gen -import qualified Hedgehog.Range as Range -import qualified System.Random as Random +import Hedgehog.Gen qualified as Gen +import Hedgehog.Range qualified as Range +import System.Random qualified as Random import Util diff --git a/test/Main.hs b/test/Main.hs index 7e62641..d3b97ab 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -1,8 +1,9 @@ +{-# LANGUAGE ImportQualifiedPost #-} module Main where import Test.Tasty -import qualified Tests.C +import Tests.C qualified main :: IO () diff --git a/test/Util.hs b/test/Util.hs index 9afa922..a358d30 100644 --- a/test/Util.hs +++ b/test/Util.hs @@ -1,5 +1,6 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} +{-# LANGUAGE ImportQualifiedPost #-} {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} @@ -8,7 +9,7 @@ {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} module Util where -import qualified Data.Array.RankedS as OR +import Data.Array.RankedS qualified as OR import GHC.TypeLits import Data.Array.Mixed.Types (fromSNat') |