Apply supported for EitherRight

This makes wrapping the function you're using in the application simpler.
louthy · Oct 1, 2023 · bce0a16 · bce0a16
1 parent 9f6e9cc
commit bce0a16
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/...ore/Monads/Alternative Value Monads/Either/Either-Shared/EitherRightAndLeft.Extensions.cs b/...ore/Monads/Alternative Value Monads/Either/Either-Shared/EitherRightAndLeft.Extensions.cs
@@ -12,4 +12,22 @@ public static class EitherRightLeftExt
         ma.Match(
             r => Prelude.Left<L, C>(bind(r).Value),
             l => Prelude.Left<L, C>(l));
+
+    public static EitherRight<B> Apply<A, B>(this EitherRight<Func<A, B>> mf, EitherRight<A> ma) =>
+        mf.Bind(f => ma.Map(a => f(a)));
+
+    public static EitherRight<Func<B, C>> Apply<A, B, C>(this EitherRight<Func<A, B, C>> mf, EitherRight<A> ma) =>
+        mf.Bind(f => ma.Map<Func<B, C>>(a => b => f(a, b)));
+
+    public static EitherRight<C> Apply<A, B, C>(this EitherRight<Func<A, B, C>> mf, EitherRight<A> ma, EitherRight<B> mb) =>
+        mf.Bind(f => ma.Bind(a => mb.Map(b => f(a, b))));
+
+    public static Either<L, B> Apply<L, A, B>(this EitherRight<Func<A, B>> mf, Either<L, A> ma) =>
+        mf.Bind(f => ma.Map(a => f(a)));
+
+    public static Either<L, Func<B, C>> Apply<L, A, B, C>(this EitherRight<Func<A, B, C>> mf, Either<L, A> ma) =>
+        mf.Bind(f => ma.Map<Func<B, C>>(a => b => f(a, b)));
+
+    public static Either<L, C> Apply<L, A, B, C>(this EitherRight<Func<A, B, C>> mf, Either<L, A> ma, Either<L, B> mb) =>
+        mf.Bind(f => ma.Bind(a => mb.Map(b => f(a, b))));
 }