Rename >> : IO -> IO -> IO to >>>

anoma · Jun 21, 2024 · 290f67f · 290f67f
1 parent 4fb6c9c
commit 290f67f
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 6 deletions.
diff --git a/Stdlib/System/IO/Base.juvix b/Stdlib/System/IO/Base.juvix
@@ -5,6 +5,6 @@ import Stdlib.Data.Fixity open;
 builtin IO
 axiom IO : Type;
 
-syntax operator >> seq;
+syntax operator >>> seq;
 builtin IO-sequence
-axiom >> : IO → IO → IO;
+axiom >>> : IO → IO → IO;
diff --git a/Stdlib/System/IO/Bool.juvix b/Stdlib/System/IO/Bool.juvix
@@ -8,4 +8,4 @@ builtin bool-print
 axiom printBool : Bool → IO;
 
 printBoolLn (b : Bool) : IO :=
-  printBool b >> printString "\n";
+  printBool b >>> printString "\n";
diff --git a/Stdlib/System/IO/Int.juvix b/Stdlib/System/IO/Int.juvix
@@ -7,4 +7,5 @@ import Stdlib.System.IO.String open;
 builtin int-print
 axiom printInt : Int → IO;
 
-printIntLn (i : Int) : IO := printInt i >> printString "\n";
+printIntLn (i : Int) : IO :=
+  printInt i >>> printString "\n";
diff --git a/Stdlib/System/IO/Nat.juvix b/Stdlib/System/IO/Nat.juvix
@@ -7,4 +7,5 @@ import Stdlib.System.IO.String open;
 builtin nat-print
 axiom printNat : Nat → IO;
 
-printNatLn (n : Nat) : IO := printNat n >> printString "\n";
+printNatLn (n : Nat) : IO :=
+  printNat n >>> printString "\n";
diff --git a/Stdlib/System/IO/String.juvix b/Stdlib/System/IO/String.juvix
@@ -10,4 +10,4 @@ builtin IO-readline
 axiom readLn : (String → IO) → IO;
 
 printStringLn (s : String) : IO :=
-  printString s >> printString "\n";
+  printString s >>> printString "\n";