summaryrefslogtreecommitdiff
path: root/BJC-Utils2/src/main/java/bjc/utils/data/Either.java
blob: 878788833d5fa54c5d1e2f846b95e8ba495bc1e7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
package bjc.utils.data;

import java.util.function.BiFunction;
import java.util.function.Function;

/**
 * Represents a pair where only one side has a value
 * 
 * @author ben
 * @param <LeftType>
 *            The type that could be on the left
 * @param <RightType>
 *            The type that could be on the right
 *
 */
public class Either<LeftType, RightType>
		implements IPair<LeftType, RightType> {
	private LeftType	leftVal;
	private RightType	rightVal;

	private boolean		isLeft;

	private Either(LeftType left, RightType right) {
		if (left == null) {
			rightVal = right;
		} else {
			leftVal = left;

			isLeft = true;
		}
	}

	/**
	 * Create a new either with the left value occupied
	 * 
	 * @param <LeftType>
	 *            The type of the left value
	 * @param <RightType>
	 *            The type of the empty right value
	 * @param left
	 *            The value to put on the left
	 * @return An either with the left side occupied
	 */
	public static <LeftType, RightType> Either<LeftType, RightType>
			fromLeft(LeftType left) {
		return new Either<>(left, null);
	}

	/**
	 * Create a new either with the right value occupied
	 * 
	 * @param <LeftType>
	 *            The type of the empty left value
	 * @param <RightType>
	 *            The type of the right value
	 * @param right
	 *            The value to put on the right
	 * @return An either with the right side occupied
	 */
	public static <LeftType, RightType> Either<LeftType, RightType>
			fromRight(RightType right) {
		return new Either<>(null, right);
	}

	@Override
	public <BoundLeft, BoundRight> IPair<BoundLeft, BoundRight> bind(
			BiFunction<LeftType, RightType, IPair<BoundLeft, BoundRight>> binder) {
		return binder.apply(leftVal, rightVal);
	}

	@Override
	public <BoundLeft> IPair<BoundLeft, RightType> bindLeft(
			Function<LeftType, IPair<BoundLeft, RightType>> leftBinder) {
		if (isLeft) {
			return leftBinder.apply(leftVal);
		}

		return new Either<>(null, rightVal);
	}

	@Override
	public <BoundRight> IPair<LeftType, BoundRight> bindRight(
			Function<RightType, IPair<LeftType, BoundRight>> rightBinder) {
		if (isLeft) {
			return new Either<>(leftVal, null);
		}

		return rightBinder.apply(rightVal);
	}

	@Override
	public <NewLeft> IPair<NewLeft, RightType>
			mapLeft(Function<LeftType, NewLeft> mapper) {
		if (isLeft) {
			return new Either<>(mapper.apply(leftVal), null);
		}

		return new Either<>(null, rightVal);
	}

	@Override
	public <NewRight> IPair<LeftType, NewRight>
			mapRight(Function<RightType, NewRight> mapper) {
		if (isLeft) {
			return new Either<>(leftVal, null);
		}

		return new Either<>(null, mapper.apply(rightVal));
	}

	@Override
	public <MergedType> MergedType
			merge(BiFunction<LeftType, RightType, MergedType> merger) {
		return merger.apply(leftVal, rightVal);
	}

	@Override
	public <OtherLeft, OtherRight, CombinedLeft, CombinedRight>
			IPair<CombinedLeft, CombinedRight>
			combine(IPair<OtherLeft, OtherRight> otherPair,
					BiFunction<LeftType, OtherLeft, CombinedLeft> leftCombiner,
					BiFunction<RightType, OtherRight, CombinedRight> rightCombiner) {
		if (isLeft) {
			return otherPair.bind((otherLeft, otherRight) -> {
				return new Either<>(leftCombiner.apply(leftVal, otherLeft),
						null);
			});
		}

		return otherPair.bind((otherLeft, otherRight) -> {
			return new Either<>(null,
					rightCombiner.apply(rightVal, otherRight));
		});
	}
}