Added identity on Fold and Getter

jbgi · jbgi · commit 84642e0de342 · 2015-05-10T09:12:26.000+02:00
diff --git a/core/src/main/java/fj/data/optic/Fold.java b/core/src/main/java/fj/data/optic/Fold.java
@@ -106,6 +106,10 @@ public final <B, C, D> Fold<S, C> composeIso(final PIso<A, B, C, D> other) {
     return composeFold(other.asFold());
   }
 
+  public static <A> Fold<A, A> id() {
+    return PIso.<A, A> pId().asFold();
+  }
+
   public static final <A> Fold<Either<A, A>, A> codiagonal() {
     return new Fold<Either<A, A>, A>() {
       @Override
diff --git a/core/src/main/java/fj/data/optic/Getter.java b/core/src/main/java/fj/data/optic/Getter.java
@@ -90,6 +90,10 @@ public <B> F<S, B> foldMap(final Monoid<B> m, final F<A, B> f) {
     };
   }
 
+  public static <A> Getter<A, A> id() {
+    return PIso.<A, A> pId().asGetter();
+  }
+
   public static final <A> Getter<Either<A, A>, A> codiagonal() {
     return getter(e -> e.either(Function.identity(), Function.identity()));
   }

Original file line number	Diff line number	Diff line change
`@@ -90,6 +90,10 @@ public <B> F<S, B> foldMap(final Monoid<B> m, final F<A, B> f) {`
`90`	`90`	`};`
`91`	`91`	`}`
`92`	`92`
	`93`	`+ public static <A> Getter<A, A> id() {`
	`94`	`+ return PIso.<A, A> pId().asGetter();`
	`95`	`+ }`
	`96`	`+`
`93`	`97`	`public static final <A> Getter<Either<A, A>, A> codiagonal() {`
`94`	`98`	`return getter(e -> e.either(Function.identity(), Function.identity()));`
`95`	`99`	`}`