More Scalaz and Monocle methods

Author: japgolly

TODO

@@ -0,0 +1 @@
+parentSel = id => c.modStateIO(State._detailRowSelParent set id),

doc/CHANGELOG-0.7.md

@@ -9,8 +9,15 @@ https://gist.github.com/japgolly/c68482dbadb0077f550c
 * Moved `.experiment` into a new module called `extra`.
 * Added a `ext-monocle` module with a few extensions for [Monocle](https://github.com/julien-truffaut/Monocle).
 * More supported React tags and attributes.
-* More ScalazReact extensions: `{state,setState,modState,modStateF}IO`.
-* New Scalaz operator `~~>?` which is `~~>` but for optional callbacks.
+* More ScalazReact extensions:
+  * `stateIO`
+  * `setStateIO`
+  * `modStateIO`
+  * `modStateIOF`
+  * `_setStateIO`
+  * `_modStateIO`
+  * `_modStateIOF`
+  * Attr operator `~~>?` which is `~~>` but for optional callbacks.
 * Removed deprecated methods marked for removal in 0.7.0.
 * Deprecated `modStateO` and `modStateU`.
 

monocle/src/main/scala/japgolly/scalajs/react/MonocleReact.scala

@@ -2,6 +2,7 @@ package japgolly.scalajs.react
 
 import monocle._
 import scalaz.Functor
+import scalaz.effect.IO
 import japgolly.scalajs.react.ScalazReact._
 
 object MonocleReact {
@@ -14,6 +15,9 @@ object MonocleReact {
     @inline def focusStateL[T](l: Lens[S, T])(implicit C: CC) = new ComponentStateFocus[T](
       () => l get _c.state,
       (t: T, cb: OpCallback) => _c.modState(l set t, cb))
+
+    @inline def _setStateL[L[_, _, _, _], B](l: L[S, S, _, B])(implicit C: CC, L: SetterMonocle[L]): B => IO[Unit] =
+      _c._modStateIO(L set l)
   }
 
   @inline implicit final class MonRExt_ReactSTOps[M[_], S, A](val _r: ReactST[M,S,A]) extends AnyVal {
@@ -25,4 +29,32 @@ object MonocleReact {
   // Seriously, Scala, get your shit together.
   @inline final implicit def moarScalaHandHoldingMon[P,S](b: BackendScope[P,S]): MonRExt_CompStateAccessOps[ComponentScope_SS, S] = (b: ComponentScope_SS[S])
   @inline final implicit def moarScalaHandHoldingMon[P,S,B](b: ComponentScopeU[P,S,B]): MonRExt_CompStateAccessOps[ComponentScope_SS, S] = (b: ComponentScope_SS[S])
+}
+
+/**
+ * Provide access to the set function on any compatible optic.
+ * @tparam O The optic type.
+ */
+trait SetterMonocle[O[_, _, _, _]] {
+  def set[S, B](l: O[S, S, _, B]): B => S => S
+}
+object SetterMonocle {
+  implicit object LensS extends SetterMonocle[PLens] {
+    @inline final override def set[S, B](l: PLens[S, S, _, B]): B => S => S = l.set
+  }
+  implicit object SetterS extends SetterMonocle[PSetter] {
+    @inline final override def set[S, B](l: PSetter[S, S, _, B]): B => S => S = l.set
+  }
+  implicit object OptionalS extends SetterMonocle[POptional] {
+    @inline final override def set[S, B](l: POptional[S, S, _, B]): B => S => S = l.set
+  }
+  implicit object IsoS extends SetterMonocle[PIso] {
+    @inline final override def set[S, B](l: PIso[S, S, _, B]): B => S => S = l.set
+  }
+  implicit object PrismS extends SetterMonocle[PPrism] {
+    @inline final override def set[S, B](l: PPrism[S, S, _, B]): B => S => S = l.set
+  }
+  implicit object TraversalS extends SetterMonocle[PTraversal] {
+    @inline final override def set[S, B](l: PTraversal[S, S, _, B]): B => S => S = l.set
+  }
 }

scalaz-7.0/src/main/scala/japgolly/scalajs/react/ScalazReact.scala

@@ -276,12 +276,21 @@ object ScalazReact {
     @inline def setStateIO(s: S, cb: OpCallbackIO = undefined)(implicit C: CC): IO[Unit] =
       IO(C.setState(_c, s, cb))
 
+    @inline def _setStateIO[I](f: I => S, cb: OpCallbackIO = undefined)(implicit C: CC): I => IO[Unit] =
+      i => setStateIO(f(i), cb)
+
     @inline def modStateIO(f: S => S, cb: OpCallbackIO = undefined)(implicit C: CC): IO[Unit] =
       IO(_c.modState(f, cb))
 
     def modStateIOF(f: S => S, cb: OpCallbackIO = undefined)(implicit C: CC, F: ChangeFilter[S]): IO[Unit] =
       stateIO.flatMap(s1 =>
         F(s1, f(s1), IO(()), setStateIO(_, cb)))
+
+    @inline def _modStateIO[I](f: I => S => S, cb: OpCallbackIO = undefined)(implicit C: CC): I => IO[Unit] =
+      i => modStateIO(f(i), cb)
+
+    @inline def _modStateIOF[I](f: I => S => S, cb: OpCallbackIO = undefined)(implicit C: CC, F: ChangeFilter[S]): I => IO[Unit] =
+      i => modStateIOF(f(i), cb)
   }
 
   final case class ChangeFilter[S](allowChange: (S, S) => Boolean) {

scalaz-7.1/src/main/scala/japgolly/scalajs/react/ScalazReact.scala

@@ -279,12 +279,21 @@ object ScalazReact {
     @inline def setStateIO(s: S, cb: OpCallbackIO = undefined)(implicit C: CC): IO[Unit] =
       IO(C.setState(_c, s, cb))
 
+    @inline def _setStateIO[I](f: I => S, cb: OpCallbackIO = undefined)(implicit C: CC): I => IO[Unit] =
+      i => setStateIO(f(i), cb)
+
     @inline def modStateIO(f: S => S, cb: OpCallbackIO = undefined)(implicit C: CC): IO[Unit] =
       IO(_c.modState(f, cb))
 
     def modStateIOF(f: S => S, cb: OpCallbackIO = undefined)(implicit C: CC, F: ChangeFilter[S]): IO[Unit] =
       stateIO.flatMap(s1 =>
         F(s1, f(s1), IO(()), setStateIO(_, cb)))
+
+    @inline def _modStateIO[I](f: I => S => S, cb: OpCallbackIO = undefined)(implicit C: CC): I => IO[Unit] =
+      i => modStateIO(f(i), cb)
+
+    @inline def _modStateIOF[I](f: I => S => S, cb: OpCallbackIO = undefined)(implicit C: CC, F: ChangeFilter[S]): I => IO[Unit] =
+      i => modStateIOF(f(i), cb)
   }
 
   final case class ChangeFilter[S](allowChange: (S, S) => Boolean) {

test/src/test/scala/japgolly/scalajs/react/MonocleTest.scala

@@ -1,6 +1,7 @@
 package japgolly.scalajs.react
 
 import monocle._
+import scalaz.effect.IO
 import utest._
 import React._
 import ScalazReact._
@@ -19,6 +20,7 @@ object MonocleTest extends TestSuite {
       "ComponentScopeM ops" - test[ComponentScopeM[U, S, U]   ](_ focusStateL lensST).expect[ComponentStateFocus[T]]
       "ReactComponentM ops" - test[ReactComponentM[U, S, U, N]](_ focusStateL lensST).expect[ComponentStateFocus[T]]
       "ReactS.zoomL"        - test[ReactST[M, S, A]           ](_ zoomL lensTS      ).expect[ReactST[M, T, A]]
+      "c._setStateL"        - test[BackendScope[Unit, S]      ](_ _setStateL lensST ).expect[T => IO[Unit]]
     }
   }
-}
+}