rename >>

anoma · Jul 31, 2024 · 076ff28 · 076ff28
1 parent f26278f
commit 076ff28
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Stdlib/Trait/Applicative.juvix b/Stdlib/Trait/Applicative.juvix
@@ -13,6 +13,7 @@ type Applicative (f : Type -> Type) :=
 
 open Applicative public;
 
-syntax operator >> seq;
->> {f : Type -> Type} {{I : Applicative f}} {A B : Type} (fa : f A) (fb : f B) : f B :=
+--- Sequences computations.
+--- Note that this function will be renamed to >>> once IO becomses a polymorphic type and can be given an Applicative instance.
+applicativeSeq {f : Type -> Type} {{I : Applicative f}} {A B : Type} (fa : f A) (fb : f B) : f B :=
   ap (map λ {_ b := b} fa) fb;