Iso.Simple overrides discardR

jnape · jnape · commit 92db2a3ee411 · 2018-04-15T20:46:28.000-05:00
diff --git a/src/main/java/com/jnape/palatable/lambda/lens/Iso.java b/src/main/java/com/jnape/palatable/lambda/lens/Iso.java
@@ -247,14 +247,19 @@ interface Simple<S, A> extends Iso<S, S, A, A>, LensLike.Simple<S, A, Iso> {
 
         @Override
         default Iso.Simple<A, S> mirror() {
-            return Iso.Simple.adapt(Iso.super.mirror());
+            return adapt(Iso.super.mirror());
         }
 
         @Override
         default Lens.Simple<S, A> toLens() {
             return Lens.Simple.adapt(Iso.super.toLens());
         }
 
+        @Override
+        default <U> Iso.Simple<S, A> discardR(Applicative<U, LensLike<S, ?, A, A, Iso>> appB) {
+            return adapt(Iso.super.discardR(appB));
+        }
+
         /**
          * Compose two simple isos from right to left.
          *
@@ -263,7 +268,7 @@ default Lens.Simple<S, A> toLens() {
          * @return the composed simple iso
          */
         default <R> Iso.Simple<R, A> compose(Iso.Simple<R, S> g) {
-            return g.andThen(this);
+            return Iso.Simple.adapt(Iso.super.compose(g));
         }
 
         /**
@@ -274,7 +279,7 @@ default <R> Iso.Simple<R, A> compose(Iso.Simple<R, S> g) {
          * @return the composed simple iso
          */
         default <B> Iso.Simple<S, B> andThen(Iso.Simple<A, B> f) {
-            return Iso.Simple.adapt(f.compose(this));
+            return adapt(f.compose(this));
         }
 
         /**
