Fix for explicitly implemented operators in IO

louthy · Aug 18, 2024 · d4814c7 · d4814c7
1 parent d02cfee
commit d4814c7
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/LanguageExt.Core/Effects/IO/IO.cs b/LanguageExt.Core/Effects/IO/IO.cs
@@ -354,10 +354,10 @@ public IO<C> SelectMany<C>(Func<A, Guard<Error, Unit>> bind, Func<A, Unit, C> pr
     public static IO<A> operator |(IO<A> lhs, IO<A> rhs) =>
         lhs.Catch(rhs).As();
 
-    static IO<A> Fallible<IO<A>, IO, Error, A>.operator |(K<IO, A> lhs, IO<A> rhs) => 
+    public static IO<A> operator |(IO<A> lhs, K<IO, A> rhs) => 
         lhs.Catch(rhs).As();
 
-    static IO<A> Fallible<IO<A>, IO, Error, A>.operator |(IO<A> lhs, K<IO, A> rhs) => 
+    public static IO<A> operator |(K<IO, A> lhs, IO<A> rhs) => 
         lhs.Catch(rhs).As();
 
     public static IO<A> operator |(IO<A> lhs, Pure<A> rhs) =>

diff --git a/Samples/Streams/RecursionIO.cs b/Samples/Streams/RecursionIO.cs
@@ -10,7 +10,7 @@ public static class RecursionIO
     public static IO<Unit> run =>
         from _ in writeLine("Enter a number to count from")
         from s in readLine
-        from n in parseInt<IO>(s) | @catch(IO.fail<int>("expected a number!"))
+        from n in parseInt<IO>(s) | IO.fail<int>("expected a number!")
         from r in recurse(n) >>
                   emptyLine
         select r;

diff --git a/Samples/Streams/SumOfSquares.cs b/Samples/Streams/SumOfSquares.cs
@@ -16,7 +16,7 @@ public static class SumOfSquares
     public static IO<Unit> run =>
         from _ in writeLine("Enter a number to find the sum of squares")
         from s in readLine
-        from n in parseInt<IO>(s) | @catch(IO.fail<int>("expected a number!"))
+        from n in parseInt<IO>(s) | IO.fail<int>("expected a number!")
         from x in example(n).Iter().As()
         select unit;
 

diff --git a/Samples/Streams/Zipping.cs b/Samples/Streams/Zipping.cs
@@ -15,12 +15,6 @@ from v in evens(n).Zip(odds(n))
         from _ in writeLine(v)
         where false
         select unit;
-
-    static bool isOdd(int n) =>
-        (n & 1) == 1;
-
-    static bool isEven(int n) =>
-        !isOdd(n);
 
     static StreamT<IO, int> evens(int n) =>
         from x in Range(0, n).AsStream<IO>()
@@ -31,4 +25,10 @@ static StreamT<IO, int> odds(int n) =>
         from x in Range(0, n).AsStream<IO>()
         where isOdd(x)
         select x;
+
+    static bool isOdd(int n) =>
+        (n & 1) == 1;
+
+    static bool isEven(int n) =>
+        !isOdd(n);
 }