add instances

anoma · Aug 21, 2024 · af72f25 · af72f25
1 parent 835766e
commit af72f25
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 8 deletions.
diff --git a/Stdlib/Data/List.juvix b/Stdlib/Data/List.juvix
@@ -84,3 +84,9 @@ applicativeListI : Applicative List :=
       | [] _ := []
       | (f :: fs) l := map f l ++ ap fs l
   };
+
+instance
+monadListI : Monad List :=
+  mkMonad@{
+    bind := flip concatMap;
+  };
diff --git a/Stdlib/Data/Maybe.juvix b/Stdlib/Data/Maybe.juvix
@@ -7,6 +7,7 @@ import Stdlib.Trait.Ord open;
 import Stdlib.Trait.Show open;
 import Stdlib.Trait.Functor open;
 import Stdlib.Trait.Applicative open;
+import Stdlib.Trait.Monad open;
 
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Data.String.Base open;
@@ -61,3 +62,11 @@ applicativeMaybeI : Applicative Maybe :=
       | (just f) (just x) := just (f x)
       | _ _ := nothing
   };
+
+instance
+monadMaybeI : Monad Maybe :=
+  mkMonad@{
+    bind {A B} : Maybe A -> (A -> Maybe B) -> Maybe B
+     | nothing _ := nothing
+     | (just a) f := f a;
+  };
diff --git a/Stdlib/Data/Result.juvix b/Stdlib/Data/Result.juvix
@@ -49,3 +49,11 @@ applicativeResultI {err} : Applicative (Result err) :=
       | (ok _) (error e) := error e
       | (error e) _ := error e
   };
+
+instance
+monadResultI {err} : Monad (Result err) :=
+  mkMonad@{
+    bind {A B} : Result err A -> (A -> Result err B) -> Result err B
+     | (error e) _ := error e
+     | (ok a) f := f a;
+  };
diff --git a/Stdlib/Trait/Monad.juvix b/Stdlib/Trait/Monad.juvix
@@ -1,15 +1,7 @@
 module Stdlib.Trait.Monad;
 
 import Stdlib.Data.Fixity open;
-import Stdlib.Function open;
-import Stdlib.Data.Bool.Base open;
-import Stdlib.Data.Nat.Base open;
-import Stdlib.Data.List.Base open;
-import Stdlib.Data.Unit.Base open;
-import Stdlib.Trait.Functor open;
 import Stdlib.Trait.Applicative open;
-import Stdlib.Trait.Foldable.Polymorphic open;
-import Stdlib.Data.Unit.Base open;
 
 trait
 type Monad (m : Type -> Type) :=