iface: rename module `Symantic.{Lang => Class}`

diff --git a/src/Symantic.hs b/src/Symantic.hs
index 46f484e1546fa55aaa4a7912c971c7e28b00295b..eee81c1edc1fb955d0579dc94297c46e84cd59c4 100644 (file)
--- a/src/Symantic.hs
+++ b/src/Symantic.hs
@@ -1,18 +1,18 @@
 module Symantic
- ( module Symantic.CurryN
+ ( module Symantic.Class
+ , module Symantic.CurryN
  , module Symantic.Data
  , module Symantic.Derive
- , module Symantic.Lang
  , module Symantic.ObserveSharing
  , module Symantic.Optimize
  , module Symantic.Reify
  , module Symantic.View
  ) where
 
+import Symantic.Class
 import Symantic.CurryN
 import Symantic.Data
 import Symantic.Derive
-import Symantic.Lang
 import Symantic.ObserveSharing
 import Symantic.Optimize
 import Symantic.Reify

diff --git a/src/Symantic/Lang.hs b/src/Symantic/Class.hs
similarity index 99%
rename from src/Symantic/Lang.hs
rename to src/Symantic/Class.hs
index 47924b370e4098cf3b00067d0462e7835e8748e3..7c8cc354261c2189fe2746dde4120d902c9fd733 100644 (file)
--- a/src/Symantic/Lang.hs
+++ b/src/Symantic/Class.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE PatternSynonyms #-} -- For (:!:)
 {-# LANGUAGE TypeFamilyDependencies #-} -- For Permutation
 {-# LANGUAGE UndecidableInstances #-} -- For Permutation
-module Symantic.Lang where
+module Symantic.Class where
 
 import Data.Bool (Bool(..))
 import Data.Char (Char)

diff --git a/src/Symantic/Data.hs b/src/Symantic/Data.hs
index a2d2e695c4afcca5e8c90c2b1dc333554fdeda5b..e0bc3ba54fc66269b4d82b9787fcc23024e62ff2 100644 (file)
--- a/src/Symantic/Data.hs
+++ b/src/Symantic/Data.hs
@@ -15,7 +15,7 @@ import qualified Data.Eq as Eq
 import qualified Data.Function as Fun
 import qualified Data.Maybe as Maybe
 
-import Symantic.Lang
+import Symantic.Class
 import Symantic.Derive
 
 -- * Type 'SomeData'

diff --git a/src/Symantic/Optimize.hs b/src/Symantic/Optimize.hs
index 0ec92c36ea9668d6663329c4ec2bc6f0ae89094a..183b8f2f9900dfd2b500147aa0af52a51780eda1 100644 (file)
--- a/src/Symantic/Optimize.hs
+++ b/src/Symantic/Optimize.hs
@@ -3,7 +3,7 @@ module Symantic.Optimize where
 import Data.Bool (Bool)
 import qualified Data.Function as Fun
 
-import Symantic.Lang
+import Symantic.Class
 import Symantic.Data
 
 -- | Beta-reduce the left-most outer-most lambda abstraction (aka. normal-order reduction),

diff --git a/src/Symantic/Reify.hs b/src/Symantic/Reify.hs
index 043e368c48f5d71696162963f9a8e57b8375bd3b..1600019af1af8dd8d461ec8b752918a4f1d789ff 100644 (file)
--- a/src/Symantic/Reify.hs
+++ b/src/Symantic/Reify.hs
@@ -7,7 +7,7 @@ import Control.Monad (Monad(..))
 import qualified Data.Function as Fun
 import qualified Language.Haskell.TH as TH
 
-import Symantic.Lang (Abstractable(..))
+import Symantic.Class (Abstractable(..))
 
 -- | 'ReifyReflect' witnesses the duality between @meta@ and @(repr a)@.
 --  It indicates which type variables in @a@ are not to be instantiated

diff --git a/src/Symantic/View.hs b/src/Symantic/View.hs
index 628cf1811b4b71b336f1ffc038996d3d9ae3cdf8..7a4c97c246d76e01bd4edbd87dfee3f7a65b412e 100644 (file)
--- a/src/Symantic/View.hs
+++ b/src/Symantic/View.hs
@@ -9,10 +9,10 @@ import Text.Show
 import qualified Data.Function as Fun
 import qualified Prelude
 
-import Symantic.Fixity
-import Symantic.Lang
+import Symantic.Class
 import Symantic.Data
 import Symantic.Derive
+import Symantic.Fixity
 
 data View a where
   View :: (ViewEnv -> ShowS) -> View a

diff --git a/symantic-base.cabal b/symantic-base.cabal
index bd936aeba994b01a450fe83c747ab4ff51c171d7..85e061053c8186087e1fd9d66104b7bcba7511f2 100644 (file)
--- a/symantic-base.cabal
+++ b/symantic-base.cabal
@@ -18,7 +18,7 @@ description:
   This is a work-in-progress collection of basic tagless-final combinators,
   along with some advanced utilities to exploit them.
 
-  * @Symantic.Lang@
+  * @Symantic.Class@
     gathers commonly used tagless-final combinators
     (the syntax part of symantics).
   * @Symantic.Data@ is an interpreter enabling to pattern-match on combinators,
@@ -71,11 +71,11 @@ library
   exposed-modules:
     Symantic
     Symantic.ADT
+    Symantic.Class
     Symantic.CurryN
     Symantic.Data
     Symantic.Derive
     Symantic.Fixity
-    Symantic.Lang
     Symantic.ObserveSharing
     Symantic.Optimize
     Symantic.Reify