annotate Main/jungle-main/util/Either.cs @ 33:56de71ae6f7e

Implementation of fmap.
author Kazuma Takeda
date Sat, 28 Jan 2017 19:12:18 +0900
parents 1f99e150f336
children a79781723862
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
1 
33
56de71ae6f7e Implementation of fmap.
Kazuma Takeda
parents: 20
diff changeset
2 public interface Either<A,B> {
20
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
3 A a();
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
4 bool isA();
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
5 B b();
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
6 bool isB();
33
56de71ae6f7e Implementation of fmap.
Kazuma Takeda
parents: 20
diff changeset
7 Either<A, B> fmap (System.Func<B, B> f, Either<A, B> e);
20
1f99e150f336 fix folder and add Object Mapper.
Kazuma Takeda
parents:
diff changeset
8 }