commit 964c76780bef0397646e7bf4c30e7e5827b53d1b
parent d99ff4087b937aab607780dbe4c440dccdc91b5f
Author: Robert Russell <robert@rr3.xyz>
Date: Mon, 14 Sep 2026 15:32:53 -0700
Algebra.Category: fix (==>) fixity
Diffstat:
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Algebra/Category/Core.hs b/src/Lude/Algebra/Category/Core.hs
@@ -41,6 +41,10 @@ import Lude.List
--------------------------------------------------------------------------------
+infixr 1 ==>
+
+--------------------------------------------------------------------------------
+
type DefaultCat :: forall i -> Cat i
type family DefaultCat i
type instance DefaultCat Type = Function