lude

commit 09b256dd8eba4800366607c20f9d632900be4a28
parent 31e80a7711f41d439238897ef6f36549a307d002
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 14 Sep 2026 15:45:30 -0700

Algebra.Category.Bifunctor: add missing fundeps

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

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Lude/Algebra/Category/Bifunctor.hs b/src/Lude/Algebra/Category/Bifunctor.hs
@@ -32,7 +32,7 @@ class (Functorial f, Cod f ~ NT (BidomR f) (Bicod f), Categorical (BidomR f), Ca
 instance (Functorial f, Cod f ~ NT (BidomR f) (Bicod f), Categorical (BidomR f), Categorical (Bicod f)) => Bifunctorial f
 
 type BifunctorialOn :: forall {i} {j} {k}. Cat i -> Cat j -> Cat k -> (i -> j -> k) -> Constraint
-class (Bifunctorial f, BidomL f ~ p, BidomR f ~ q, Bicod f ~ r) => BifunctorialOn p q r f
+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
@@ -40,7 +40,7 @@ class (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Biendofunctor
 instance (Bifunctorial f, BidomL f ~ BidomR f, BidomR f ~ Bicod f) => Biendofunctorial f
 
 type BiendofunctorialOn :: forall {i}. Cat i -> Biendo i -> Constraint
-class (BifunctorialOn p p p f) => BiendofunctorialOn p f
+class (BifunctorialOn p p p f) => BiendofunctorialOn p f | f -> p
 instance (BifunctorialOn p p p f) => BiendofunctorialOn p f
 
 type BidomL :: forall {i} {j} {k}. (i -> j -> k) -> Cat i