extensions

morphismtech · Jan 15, 2024 · f676f94 · f676f94
1 parent 0512e54
commit f676f94
Show file tree

Hide file tree

Showing 8 changed files with 15 additions and 50 deletions.
diff --git a/indexed-transformers.cabal b/indexed-transformers.cabal
@@ -40,10 +40,17 @@ library
   hs-source-dirs:
       src
   default-extensions:
+      ConstraintKinds
+      DeriveFunctor
+      FlexibleInstances
+      GADTs
+      LambdaCase
+      MultiParamTypeClasses
       PolyKinds
       QuantifiedConstraints
       RankNTypes
       StandaloneKindSignatures
+      TupleSections
       TypeOperators
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
   build-depends:

diff --git a/package.yaml b/package.yaml
@@ -31,10 +31,17 @@ ghc-options:
 - -Wredundant-constraints
 
 default-extensions:
+- ConstraintKinds
+- DeriveFunctor
+- FlexibleInstances
+- GADTs
+- LambdaCase
+- MultiParamTypeClasses
 - PolyKinds
 - QuantifiedConstraints
 - RankNTypes
 - StandaloneKindSignatures
+- TupleSections
 - TypeOperators
 
 library:

diff --git a/src/Control/Monad/Trans/Indexed/Cont.hs b/src/Control/Monad/Trans/Indexed/Cont.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE
-    DeriveFunctor
-  , FlexibleInstances
-  , GADTs
-#-}
-
 module Control.Monad.Trans.Indexed.Cont
   ( ContIx (..)
   , callCCIx

diff --git a/src/Control/Monad/Trans/Indexed/Free.hs b/src/Control/Monad/Trans/Indexed/Free.hs
@@ -1,12 +1,4 @@
-{-# LANGUAGE
-    ConstraintKinds
-  , DefaultSignatures
-  , GADTs
-  , PolyKinds
-  , QuantifiedConstraints
-  , RankNTypes
-  , UndecidableInstances
-#-}
+{-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}
 
 module Control.Monad.Trans.Indexed.Free

diff --git a/src/Control/Monad/Trans/Indexed/Free/Fold.hs b/src/Control/Monad/Trans/Indexed/Free/Fold.hs
@@ -1,12 +1,3 @@
-{-# LANGUAGE
-    FlexibleInstances
-  , GADTs
-  , MultiParamTypeClasses
-  , PolyKinds
-  , QuantifiedConstraints
-  , RankNTypes
-  , TypeApplications
-#-}
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}
 
 module Control.Monad.Trans.Indexed.Free.Fold

diff --git a/src/Control/Monad/Trans/Indexed/Free/Wrap.hs b/src/Control/Monad/Trans/Indexed/Free/Wrap.hs
@@ -1,13 +1,3 @@
-{-# LANGUAGE
-    ConstraintKinds
-  , FlexibleInstances
-  , GADTs
-  , LambdaCase
-  , QuantifiedConstraints
-  , MultiParamTypeClasses
-  , PolyKinds
-#-}
-
 module Control.Monad.Trans.Indexed.Free.Wrap
   ( FreeIx (..)
   , WrapIx (..)

diff --git a/src/Control/Monad/Trans/Indexed/State.hs b/src/Control/Monad/Trans/Indexed/State.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE
-    DeriveFunctor
-  , FlexibleInstances
-  , GADTs
-  , MultiParamTypeClasses
-  , TupleSections
-#-}
-
 module Control.Monad.Trans.Indexed.State
   ( StateIx (..)
   , evalStateIx

diff --git a/src/Control/Monad/Trans/Indexed/Writer.hs b/src/Control/Monad/Trans/Indexed/Writer.hs
@@ -1,11 +1,3 @@
-{-# LANGUAGE
-    DeriveFunctor
-  , FlexibleInstances
-  , GADTs
-  , MultiParamTypeClasses
-  , PolyKinds
-#-}
-
 module Control.Monad.Trans.Indexed.Writer
   ( WriterIx (..)
   , evalWriterIx