lude

commit f18c328fe4c11b3e7cf33a7c60768086d5631be3
parent 3ec2498811182f8374267dc14cda113346fb6093
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 21 Sep 2026 12:46:55 -0700

Algebra.Category.Bifunctor: reorder prefixes in class names

Diffstat:
M
src/Lude/Algebra/Category/Bifunctor.hs
 | 
18
+++++++++---------

1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/src/Lude/Algebra/Category/Bifunctor.hs b/src/Lude/Algebra/Category/Bifunctor.hs
@@ -3,8 +3,8 @@
 module Lude.Algebra.Category.Bifunctor (
     Bifunctorial,
     BifunctorialOn,
-    Biendofunctorial,
-    BiendofunctorialOn,
+    Endobifunctorial,
+    EndobifunctorialOn,
     BidomL,
     BidomR,
     Bicod,
@@ -35,13 +35,13 @@ type BifunctorialOn :: forall {i} {j} {k}. Cat i -> Cat j -> Cat k -> (i -> j ->
 class (Bifunctorial f, BidomL f ~ p, BidomR f ~ q, Bicod f ~ r) => BifunctorialOn p q r f | f -> p q r
 instance (Bifunctorial f, BidomL f ~ p, BidomR f ~ q, Bicod f ~ r) => BifunctorialOn p q r f
 
-type Biendofunctorial :: forall {i}. Biendo i -> Constraint
-class (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Biendofunctorial f
-instance (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Biendofunctorial f
+type Endobifunctorial :: forall {i}. Biendo i -> Constraint
+class (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Endobifunctorial f
+instance (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Endobifunctorial f
 
-type BiendofunctorialOn :: forall {i}. Cat i -> Biendo i -> Constraint
-class (BifunctorialOn p p p f) => BiendofunctorialOn p f | f -> p
-instance (BifunctorialOn p p p f) => BiendofunctorialOn p f
+type EndobifunctorialOn :: forall {i}. Cat i -> Biendo i -> Constraint
+class (BifunctorialOn p p p f) => EndobifunctorialOn p f | f -> p
+instance (BifunctorialOn p p p f) => EndobifunctorialOn p f
 
 type BidomL :: forall {i} {j} {k}. (i -> j -> k) -> Cat i
 type BidomL f = Dom f
@@ -80,7 +80,7 @@ rmap rf = map rf \\ f `preservesObj` l
 --
 -- TODO: Laws
 type SemigroupalFunctorial :: forall {i}. Biendo i -> Constraint
-class (Biendofunctorial f) => SemigroupalFunctorial (f :: Biendo i) where
+class (Endobifunctorial f) => SemigroupalFunctorial (f :: Biendo i) where
     assoc :: forall a b c. (Obj3 (Dom f) a b c) => Iso (Dom f) ((a `f` b) `f` c) (a `f` (b `f` c))
 
 type SemigroupalFunctorialOn :: forall {i}. Cat i -> Biendo i -> Constraint