lude

commit 098439357da9990196fab7027b36215cca6a995a
parent 9ae81293f530b48d41e896fe11e8ac8dd1b7107b
Author: Robert Russell <robert@rr3.xyz>
Date:   Fri,  9 Oct 2026 12:44:10 -0700

Haskell: move (~) and (~~); remove (:~:) and (:~~:)

(:~:) is Discrete in Algebra.Category.

Diffstat:
M
src/Lude/Haskell.hs
 | 
1
-
M
src/Lude/Haskell/Core.hs
 | 
11
+++++++----
D
src/Lude/Haskell/Equality.hs
 | 
10
----------

3 files changed, 7 insertions(+), 15 deletions(-)
diff --git a/src/Lude/Haskell.hs b/src/Lude/Haskell.hs
@@ -9,7 +9,6 @@ import Lude.Haskell.BaseInterop as X
 import Lude.Haskell.Category as X -- TODO: Probably hide some stuff from here.
 import Lude.Haskell.Constraint as X
 import Lude.Haskell.Core as X
-import Lude.Haskell.Equality as X
 import Lude.Haskell.Functional as X
 import Lude.Haskell.Generic as X hiding (Rep, Rep1, from, from1, to, to1)
 import Lude.Haskell.Tuple as X
diff --git a/src/Lude/Haskell/Core.hs b/src/Lude/Haskell/Core.hs
@@ -1,4 +1,7 @@
 module Lude.Haskell.Core (
+    type (~),
+    type (~~),
+    --
     Repr,
     KindOrType#,
     KindOrType,
@@ -13,11 +16,9 @@ module Lude.Haskell.Core (
     type (∘),
 ) where
 
-import GHC.Exts qualified as GHC
+import Data.Type.Equality (type (~), type (~~))
 
---------------------------------------------------------------------------------
-
-infixr 9 ., ∘
+import GHC.Exts qualified as GHC
 
 --------------------------------------------------------------------------------
 
@@ -83,6 +84,8 @@ type Biendo a = a -> a -> a
 
 type (.) :: forall i j k. (j -> k) -> (i -> j) -> (i -> k)
 type (f . g) x = f (g x)
+infixr 9 .
 
 type (∘) :: forall i j k. (j -> k) -> (i -> j) -> (i -> k)
 type (f ∘ g) x = f (g x)
+infixr 9 ∘
diff --git a/src/Lude/Haskell/Equality.hs b/src/Lude/Haskell/Equality.hs
@@ -1,10 +0,0 @@
-module Lude.Haskell.Equality (
-    (:~:) (..),
-    (:~~:) (..),
-    type (~),
-    type (~~),
-) where
-
-import Data.Type.Equality ((:~:) (..), (:~~:) (..), type (~), type (~~))
-
---------------------------------------------------------------------------------