Added exist to Option

Donatas-L · Jul 16, 2017 · c14e84f · c14e84f
1 parent 866218a
commit c14e84f
Show file tree

Hide file tree

Showing 8 changed files with 15 additions and 1 deletion.
diff --git a/Option.cs b/Option.cs
@@ -1,4 +1,5 @@
 using System;
+using System.Collections;
 using System.Collections.Generic;
 using System.Linq;
 
@@ -89,6 +90,15 @@ public static Option<R> map<A, R>(this Option<A> @this, Func<A, R> func) {
                 () => Option.None, value => Option.Some(func(value)));
         }
 
+    public static bool exist<A>(this Option<A> @this, Option<A> other) =>
+      @this.fold(
+        () => false,
+        left => other.fold(
+          () => false,
+          right => left.Equals(right)
+            )
+          );
+
         public static Option<R> flatMap<A, R>(this Option<A> @this, Func<A, Option<R>> func) {
             return @this.fold(
                 () => Option.None, func);

diff --git a/bin/Release/funkylib.dll b/bin/Release/funkylib.dll
diff --git a/bin/Release/funkylib.pdb b/bin/Release/funkylib.pdb
diff --git a/obj/Release/CoreCompileInputs.cache b/obj/Release/CoreCompileInputs.cache
@@ -1 +1 @@
-b41efbdb0739bc08d73825ff2d48a3bfc7c45341
+c304f7f8ade77d758475770f8271d01f624fe97c
diff --git a/obj/Release/DesignTimeResolveAssemblyReferencesInput.cache b/obj/Release/DesignTimeResolveAssemblyReferencesInput.cache
diff --git a/obj/Release/funkylib.csproj.FileListAbsolute.txt b/obj/Release/funkylib.csproj.FileListAbsolute.txt
@@ -16,3 +16,7 @@ D:\Learning\code-retreat\lib\funkylib\bin\Release\funkylib.dll
 D:\Learning\code-retreat\lib\funkylib\bin\Release\funkylib.pdb
 D:\Learning\code-retreat\lib\funkylib\obj\Release\funkylib.dll
 D:\Learning\code-retreat\lib\funkylib\obj\Release\funkylib.pdb
+F:\Code\Stupid\funkylib\bin\Release\funkylib.dll
+F:\Code\Stupid\funkylib\bin\Release\funkylib.pdb
+F:\Code\Stupid\funkylib\obj\Release\funkylib.dll
+F:\Code\Stupid\funkylib\obj\Release\funkylib.pdb
diff --git a/obj/Release/funkylib.dll b/obj/Release/funkylib.dll
diff --git a/obj/Release/funkylib.pdb b/obj/Release/funkylib.pdb
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		b41efbdb0739bc08d73825ff2d48a3bfc7c45341
		c304f7f8ade77d758475770f8271d01f624fe97c