lude

commit b6cadf34defbb9b54ce96bf24fc4897c2f202406
parent 0d9bbd357bd4c38e46546e7be0802e51ee3b6b42
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu, 10 Sep 2026 11:48:37 -0700

Add IO

Diffstat:
A
src/Lude/IO.hs
 | 
21
+++++++++++++++++++++

1 file changed, 21 insertions(+), 0 deletions(-)
diff --git a/src/Lude/IO.hs b/src/Lude/IO.hs
@@ -0,0 +1,21 @@
+-- TODO
+{-# OPTIONS_GHC -Wno-orphans #-}
+
+module Lude.IO (
+    IO,
+) where
+
+import Control.Monad qualified
+import System.IO
+
+import Lude.Algebra.Category
+
+--------------------------------------------------------------------------------
+
+instance Functorial IO where
+    map = Control.Monad.fmap
+
+instance Monadic IO where
+    pure = Control.Monad.return
+    join = Control.Monad.join
+    bind = (Control.Monad.=<<)