lude

commit 106b54394f299710db6c25abb5853713a51c67d8
parent 539a8d5bca679eba6bba70da021184198cd91270
Author: Robert Russell <robert@rr3.xyz>
Date:   Fri, 16 Oct 2026 12:26:33 -0700

Maybe: add Functorial and Monadic instances

Diffstat:
M
src/Lude/Algebra/Category/Core.hs
 | 
2
++
M
src/Lude/Algebra/Category/Monad.hs
 | 
2
++

2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Algebra/Category/Core.hs b/src/Lude/Algebra/Category/Core.hs
@@ -36,6 +36,7 @@ import Lude.Constraint.Predicate
 import Lude.Haskell
 import Lude.IO
 import Lude.List
+import Lude.Maybe
 
 -- TODO: Allow non-BoxL morphism Repr?
 
@@ -297,3 +298,4 @@ instance (Base.Functor f) => Functorial (BaseInterop1 f) where
 
 deriving via BaseInterop1 IO instance Functorial IO
 deriving via BaseInterop1 List instance Functorial List
+deriving via BaseInterop1 Maybe instance Functorial Maybe
diff --git a/src/Lude/Algebra/Category/Monad.hs b/src/Lude/Algebra/Category/Monad.hs
@@ -18,6 +18,7 @@ import Lude.Function (const, flip)
 import Lude.Haskell
 import Lude.IO
 import Lude.List
+import Lude.Maybe
 
 -- TODO: Make applicative/monoidal functors a superclass.
 
@@ -79,3 +80,4 @@ instance (Base.Monad f) => Monadic (BaseInterop1 f) where
 
 deriving via BaseInterop1 IO instance Monadic IO
 deriving via BaseInterop1 List instance Monadic List
+deriving via BaseInterop1 Maybe instance Monadic Maybe