From 62c3aeec1fc4e054b7372dfb618c6d23831fadc1 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Tue, 11 Jul 2023 18:15:05 -0400 Subject: [PATCH] Better internal module name Since this library has nothing to do with `DSum` anymore. --- dependent-sum-template.cabal | 2 +- src/Data/GADT/Compare/TH.hs | 2 +- src/Data/GADT/Show/TH.hs | 2 +- src/Data/{Dependent/Sum => GADT}/TH/Internal.hs | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) rename src/Data/{Dependent/Sum => GADT}/TH/Internal.hs (99%) diff --git a/dependent-sum-template.cabal b/dependent-sum-template.cabal index 2fbdb94..d065c0d 100644 --- a/dependent-sum-template.cabal +++ b/dependent-sum-template.cabal @@ -35,7 +35,7 @@ Library default-language: Haskell2010 exposed-modules: Data.GADT.Compare.TH Data.GADT.Show.TH - other-modules: Data.Dependent.Sum.TH.Internal + other-modules: Data.GADT.TH.Internal Data.GADT.Compare.Monad build-depends: base >= 3 && <5, some >= 1.0.1 && < 1.1, diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs index d300758..0dcfabf 100644 --- a/src/Data/GADT/Compare/TH.hs +++ b/src/Data/GADT/Compare/TH.hs @@ -14,7 +14,7 @@ module Data.GADT.Compare.TH import Control.Monad import Control.Monad.Writer -import Data.Dependent.Sum.TH.Internal +import Data.GADT.TH.Internal import Data.Functor.Identity import Data.GADT.Compare import Data.GADT.Compare.Monad diff --git a/src/Data/GADT/Show/TH.hs b/src/Data/GADT/Show/TH.hs index 524bef1..5cc711a 100644 --- a/src/Data/GADT/Show/TH.hs +++ b/src/Data/GADT/Show/TH.hs @@ -6,7 +6,7 @@ module Data.GADT.Show.TH import Control.Applicative import Control.Monad import Control.Monad.Writer -import Data.Dependent.Sum.TH.Internal +import Data.GADT.TH.Internal import Data.Functor.Identity import Data.GADT.Show import Data.Traversable (for) diff --git a/src/Data/Dependent/Sum/TH/Internal.hs b/src/Data/GADT/TH/Internal.hs similarity index 99% rename from src/Data/Dependent/Sum/TH/Internal.hs rename to src/Data/GADT/TH/Internal.hs index c3ca9b9..5d263b2 100644 --- a/src/Data/Dependent/Sum/TH/Internal.hs +++ b/src/Data/GADT/TH/Internal.hs @@ -8,7 +8,7 @@ {-# LANGUAGE TypeOperators #-} -- | Shared functions for dependent-sum-template -module Data.Dependent.Sum.TH.Internal where +module Data.GADT.TH.Internal where import Control.Monad import Control.Monad.Writer