lude

commit 31e80a7711f41d439238897ef6f36549a307d002
parent 964c76780bef0397646e7bf4c30e7e5827b53d1b
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 14 Sep 2026 15:41:37 -0700

Algebra.Category.Bifunctor: fix exports

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

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Algebra/Category/Bifunctor.hs b/src/Lude/Algebra/Category/Bifunctor.hs
@@ -2,6 +2,9 @@
 
 module Lude.Algebra.Category.Bifunctor (
     Bifunctorial,
+    BifunctorialOn,
+    Biendofunctorial,
+    BiendofunctorialOn,
     BidomL,
     BidomR,
     Bicod,