add join

anoma · Aug 22, 2024 · a9bd82d · a9bd82d
1 parent 83250b7
commit a9bd82d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Stdlib/Trait/Monad.juvix b/Stdlib/Trait/Monad.juvix
@@ -18,3 +18,9 @@ syntax operator >>= seq;
 
 syntax operator >=> seq;
 >=> {A B C} {f : Type -> Type} {{Monad f}} (h : A -> f B) (g : B -> f C) (a : A) : f C := h a >>= g;
+
+join {A} {f : Type -> Type} {{Monad f}} (x : f (f A)) : f A :=
+  do {
+    y <- x;
+    y;
+  };