iface: move `Syntaxes.Data` to `Semantics.Data`

diff --git a/src/Symantic/Syntaxes/Data.hs b/src/Symantic/Semantics/Data.hs
similarity index 99%
rename from src/Symantic/Syntaxes/Data.hs
rename to src/Symantic/Semantics/Data.hs
index 6678e49fbca7b16d2f4d421f5b47110872980fa9..accd10d1ef67df2d63e8f30133490e53bb66e0ab 100644 (file)
--- a/src/Symantic/Syntaxes/Data.hs
+++ b/src/Symantic/Semantics/Data.hs
@@ -10,7 +10,7 @@
 -- which interprets combinators as data constructors.
 -- This enables to pattern-match on combinators
 -- while keeping their extensibility.
-module Symantic.Syntaxes.Data where
+module Symantic.Semantics.Data where
 
 import Data.Bool (Bool)
 import Data.Either (Either)

diff --git a/src/Symantic/Semantics/Forall.hs b/src/Symantic/Semantics/Forall.hs
index 9c75c603559f811d1cf298a7508675f6e87a69f3..a739dc89bdfefd05f6cbf70d59a761a1297dbeaa 100644 (file)
--- a/src/Symantic/Semantics/Forall.hs
+++ b/src/Symantic/Semantics/Forall.hs
@@ -22,7 +22,7 @@ import Data.Kind (Type)
 import Text.Show (Show (..))
 import Unsafe.Coerce (unsafeCoerce)
 
-import Symantic.Syntaxes.Classes (Syntax, Syntaxes, Unabstractable (..), Abstractable(..))
+import Symantic.Syntaxes.Classes (Abstractable (..), Syntax, Syntaxes, Unabstractable (..))
 
 -- * Type 'Forall'
 newtype Forall (syns :: [Syntax]) (a :: Type)

diff --git a/src/Symantic/Semantics/Viewer.hs b/src/Symantic/Semantics/Viewer.hs
index e65ebbe5563303b612aafe06ed471ace6972d581..628eb57db42357f8d4ddacbfb341f95134284222 100644 (file)
--- a/src/Symantic/Semantics/Viewer.hs
+++ b/src/Symantic/Semantics/Viewer.hs
@@ -15,9 +15,9 @@ import Data.String
 import Text.Show
 import Prelude qualified
 
+import Symantic.Semantics.Data
 import Symantic.Semantics.Viewer.Fixity
 import Symantic.Syntaxes.Classes
-import Symantic.Syntaxes.Data
 import Symantic.Syntaxes.Derive
 
 -- * Type 'Viewer'

diff --git a/src/Symantic/Syntaxes.hs b/src/Symantic/Syntaxes.hs
index ec361b4a996ea061bb7c34e26f9e9290828e2aec..f866dd40f15abdf2c3b7e683739ccb136cad1eed 100644 (file)
--- a/src/Symantic/Syntaxes.hs
+++ b/src/Symantic/Syntaxes.hs
@@ -1,7 +1,6 @@
 module Symantic.Syntaxes (
   module Symantic.Syntaxes.Classes,
   module Symantic.Syntaxes.CurryN,
-  module Symantic.Syntaxes.Data,
   module Symantic.Syntaxes.Derive,
   module Symantic.Syntaxes.EithersOfTuples,
   module Symantic.Syntaxes.Reify,
@@ -10,7 +9,6 @@ module Symantic.Syntaxes (
 
 import Symantic.Syntaxes.Classes
 import Symantic.Syntaxes.CurryN
-import Symantic.Syntaxes.Data
 import Symantic.Syntaxes.Derive
 import Symantic.Syntaxes.EithersOfTuples
 import Symantic.Syntaxes.Reify

diff --git a/symantic-base.cabal b/symantic-base.cabal
index 91573aa8620027fccbb20cec1791393a6fdddb2c..0713d422e5f21bbd05f5434caf4a46fbbf2277cb 100644 (file)
--- a/symantic-base.cabal
+++ b/symantic-base.cabal
@@ -52,7 +52,6 @@ library
     Symantic.Syntaxes
     Symantic.Syntaxes.Classes
     Symantic.Syntaxes.CurryN
-    Symantic.Syntaxes.Data
     Symantic.Syntaxes.Derive
     Symantic.Syntaxes.EithersOfTuples
     Symantic.Syntaxes.Reify