From 0f958b08b3446a866418aa485bb60c208d952033 Mon Sep 17 00:00:00 2001
From: Ben Culkin <scorpress@gmail.com>
Date: Sat, 8 Oct 2022 14:47:21 -0400
Subject: Add a whole bunch of Optics

This adds a whole bunch of types/functions related to optics. With this
batch, I've mainly gone for the concrete representation types, instead
of var Laarhoven or profunctor representations.

The concrete ones require less infrastructure, though they are not as
easy to compose

There's also a number of misc. things in here
---
 src/main/java/bjc/optics/Lenses.java | 164 +++++++++++++++++++++++++++++++++++
 1 file changed, 164 insertions(+)
 create mode 100644 src/main/java/bjc/optics/Lenses.java

(limited to 'src/main/java/bjc/optics/Lenses.java')

diff --git a/src/main/java/bjc/optics/Lenses.java b/src/main/java/bjc/optics/Lenses.java
new file mode 100644
index 0000000..6cebc84
--- /dev/null
+++ b/src/main/java/bjc/optics/Lenses.java
@@ -0,0 +1,164 @@
+/* 
+ * esodata - data structures and other things, of varying utility
+ * Copyright 2022, Ben Culkin
+ * 
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *   
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+package bjc.optics;
+
+import java.util.function.BiConsumer;
+import java.util.function.BiFunction;
+import java.util.function.Function;
+
+import bjc.data.Holder;
+import bjc.data.Pair;
+
+/**
+ * Utility and constructor functions for lenses
+ * 
+ * @author bjcul
+ *
+ */
+public class Lenses {
+	/**
+	 * Create an immutable lens from a pair of functions.
+	 * 
+	 * @param <W1>   The first type the lens is used on
+	 * @param <W2>   The second type the lens is used on
+	 * @param <P1>   The first type the lens focuses on
+	 * @param <P2>   The second type the lens focuses on.
+	 * 
+	 * @param getter The getter for the lens
+	 * @param setter The setter for the lens
+	 * 
+	 * @return The lens composed from the two given functions
+	 */
+	public static <W1, W2, P1, P2> LensX<W1, W2, P1, P2> immutable(Function<W1, P1> getter,
+			BiFunction<W1, P2, W2> setter) {
+		return new FunctionalLensX<>(getter, setter);
+	}
+
+	/**
+	 * Create a mutable lens from a pair of functions.
+	 * 
+	 * @param <Whole> The type the lens is used on
+	 * @param <Part>  The type the lens is focused on
+	 * 
+	 * @param getter  The getter for the lens
+	 * @param mutator The mutator for the lens
+	 * 
+	 * @return The mutable lens composed from the two given functions
+	 */
+	public static <Whole, Part> MutableLens<Whole, Part> mutable(Function<Whole, Part> getter,
+			BiConsumer<Whole, Part> mutator) {
+		return new FunctionalMutableLens<>(getter, mutator);
+	}
+
+	/**
+	 * Create a lens that reflects over the value in a holder
+	 * 
+	 * @param <Part1> The first type contained in the holder
+	 * @param <Part2> The second type contained in the holder
+	 * 
+	 * @return A lens that focuses on the value of a holder
+	 */
+	public static <Part1, Part2> LensX<Holder<Part1>, Holder<Part2>, Part1, Part2> holder() {
+		return immutable((hld) -> hld.getValue(), (hld, val) -> hld.map((vl) -> val));
+	}
+	
+	/**
+	 * Create a lens for updating tagged pairs.
+	 * 
+	 * TODO: Should this be on a Tagged<T, A> class that is isomorphic to pair
+	 * instead?
+	 * 
+	 * @param <A> The first data type
+	 * @param <B> The second data type
+	 * @param <T> The tag type
+	 * 
+	 * @return A lens that operates on the value of a tagged pair.
+	 */
+	public static <A, B, T> LensX<Pair<T, A>, Pair<T, B>, A, B> tagged() {
+		return immutable((par) -> par.getRight(), (par, val) -> par.mapRight((vl) -> val));
+	}
+	
+	/**
+	 * Creates a lens which focuses on a piece of internal state.
+	 * 
+	 * @param <A> The first state type
+	 * @param <B> The second state type
+	 * 
+	 * @param val The initial state value
+	 * 
+	 * @return A lens that focuses on the given internal state.
+	 */
+	public static <A, B> LensX<?, ?, A, B> state(A val) {
+		Holder<A> hold = Holder.of(val);
+		return immutable((whole) -> hold.getValue(), (whole, vl) -> hold.map((arg) -> vl));
+	}
+	
+	/**
+	 * Creates a lens which focuses on a piece of mutable internal state.
+	 * 
+	 * @param <A> The state type
+	 * 
+	 * @param val The initial state value
+	 * 
+	 * @return A lens that focuses on the given internal state.
+	 */
+	public static <A> MutableLens<?, A> stateM(A val) {
+		Holder<A> hold = Holder.of(val);
+		return mutable((whole) -> hold.getValue(), (whole, vl) -> hold.replace(vl));
+	}
+}
+
+final class FunctionalLensX<W1, W2, P1, P2> implements LensX<W1, W2, P1, P2> {
+	private final BiFunction<W1, P2, W2> setter;
+	private final Function<W1, P1> getter;
+
+	FunctionalLensX(Function<W1, P1> getter, BiFunction<W1, P2, W2> setter) {
+		this.setter = setter;
+		this.getter = getter;
+	}
+
+	@Override
+	public P1 get(W1 source) {
+		return getter.apply(source);
+	}
+
+	@Override
+	public W2 set(W1 source, P2 val) {
+		return setter.apply(source, val);
+	}
+}
+
+final class FunctionalMutableLens<Whole, Part> implements MutableLens<Whole, Part> {
+	private final BiConsumer<Whole, Part> mutator;
+	private final Function<Whole, Part> getter;
+
+	FunctionalMutableLens(Function<Whole, Part> getter, BiConsumer<Whole, Part> mutator) {
+		this.mutator = mutator;
+		this.getter = getter;
+	}
+
+	@Override
+	public Part get(Whole source) {
+		return getter.apply(source);
+	}
+
+	@Override
+	public void mutate(Whole source, Part val) {
+		mutator.accept(source, val);
+	}
+}
-- 
cgit v1.2.3