3
3
import com .jnape .palatable .lambda .adt .Maybe ;
4
4
import com .jnape .palatable .lambda .adt .hlist .Tuple2 ;
5
5
import com .jnape .palatable .lambda .functions .Fn1 ;
6
- import com .jnape .palatable .lambda .functions .builtin .fn2 .Filter ;
7
6
import com .jnape .palatable .lambda .functions .IO ;
7
+ import com .jnape .palatable .lambda .functions .builtin .fn2 .Filter ;
8
8
import com .jnape .palatable .lambda .lens .Iso ;
9
9
import com .jnape .palatable .lambda .lens .Lens ;
10
10
@@ -40,9 +40,10 @@ private MapLens() {
40
40
* A lens that focuses on a copy of a {@link Map} as a subtype <code>M</code>. Useful for composition to avoid
41
41
* mutating a map reference.
42
42
*
43
- * @param <M> the map subtype
44
- * @param <K> the key type
45
- * @param <V> the value type
43
+ * @param <M> the map subtype
44
+ * @param <K> the key type
45
+ * @param <V> the value type
46
+ * @param copyFn the copy function
46
47
* @return a lens that focuses on copies of maps as a specific subtype
47
48
*/
48
49
public static <M extends Map <K , V >, K , V > Lens <Map <K , V >, M , M , M > asCopy (
@@ -65,10 +66,11 @@ public static <K, V> Lens.Simple<Map<K, V>, Map<K, V>> asCopy() {
65
66
* A lens that focuses on a value at a key in a map, as a {@link Maybe}, and produces a subtype <code>M</code> on
66
67
* the way back out.
67
68
*
68
- * @param <M> the map subtype
69
- * @param <K> the key type
70
- * @param <V> the value type
71
- * @param k the key to focus on
69
+ * @param <M> the map subtype
70
+ * @param <K> the key type
71
+ * @param <V> the value type
72
+ * @param k the key to focus on
73
+ * @param copyFn the copy function
72
74
* @return a lens that focuses on the value at key, as a {@link Maybe}
73
75
*/
74
76
public static <M extends Map <K , V >, K , V > Lens <Map <K , V >, M , Maybe <V >, Maybe <V >> valueAt (
0 commit comments