diff Main/jungle-main/util/Either.cs @ 35:f2ea780b3e80

fix
author Kazuma Takeda
date Wed, 22 Feb 2017 16:30:19 +0900
parents a79781723862
children
line wrap: on
line diff
--- a/Main/jungle-main/util/Either.cs	Tue Feb 07 20:50:50 2017 +0900
+++ b/Main/jungle-main/util/Either.cs	Wed Feb 22 16:30:19 2017 +0900
@@ -1,9 +1,11 @@
 
-public interface Either<A,B> {
-	A a();
-	bool isA();
-	B b();
-	bool isB();
-	Either<A, B> fmap (System.Func<B, B> f);
-	Either<A, B> bind (System.Func<B, Either<A,B>> f);
+namespace JungleDB {
+	public interface Either<A,B> {
+		A a();
+		bool isA();
+		B b();
+		bool isB();
+		Either<A, B> fmap (System.Func<B, B> f);
+		Either<A, B> bind (System.Func<B, Either<A,B>> f);
+	}
 }