Eff 2.0 Woes

ammonite.repl

Welcome to the Ammonite Repl 0.6.2
(Scala 2.11.8 Java 1.8.0_51)
@ load.plugin.ivy("org.spire-math" %% "kind-projector" % "0.8.0")

@ load.ivy("org.atnos" %% "eff-cats" % "2.0.0-RC7")

@ import cats._, data._, implicits._;
import cats._, data._, implicits._;
@ import org.atnos.eff._, all._, org.atnos.eff.syntax.all._;
import org.atnos.eff._, all._, org.atnos.eff.syntax.all._;
@ type R = Fx.fx4[Option, Reader[Int, ?], State[String, ?], Xor[String, ?]]
defined type R
@ val e = EffMonad[R].pure(())
e: Eff[R, Unit] = Pure(())
@ e.runXor.runOption.runReader(1).runState("foo")
cmd6.scala:1: No instance found for Member[[β]cats.data.Xor[E,β], ammonite.session.cmd4.R].
The effect [β]cats.data.Xor[E,β] is not part of the stack ammonite.session.cmd4.R
 or it was not possible to determine the stack that would result from removing [β]cats.data.Xor[E,β] from ammonite.session.cmd4.R
val res6 = e.runXor.runOption.runReader(1).runState("foo")
             ^
Compilation Failed
@ e.runOption.runReader(1).runState("foo").runXor
cmd6.scala:1: No instance found for Member[[β]cats.data.Kleisli[[A]A,Int,β], org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]].
The effect [β]cats.data.Kleisli[[A]A,Int,β] is not part of the stack org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]
 or it was not possible to determine the stack that would result from removing [β]cats.data.Kleisli[[A]A,Int,β] from org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]
val res6 = e.runOption.runReader(1).runState("foo").runXor
                                ^
Compilation Failed
@ e.runReader(1).runState("foo").runXor.runOption
cmd6.scala:1: No instance found for Member[[β]cats.data.Kleisli[[A]A,Int,β], ammonite.session.cmd4.R].
The effect [β]cats.data.Kleisli[[A]A,Int,β] is not part of the stack ammonite.session.cmd4.R
 or it was not possible to determine the stack that would result from removing [β]cats.data.Kleisli[[A]A,Int,β] from ammonite.session.cmd4.R
val res6 = e.runReader(1).runState("foo").runXor.runOption
                      ^
Compilation Failed
@ e.runState("foo").runReader(1).runXor.runOption
cmd6.scala:1: No instance found for Member[[β]cats.data.StateT[cats.Eval,String,β], ammonite.session.cmd4.R].
The effect [β]cats.data.StateT[cats.Eval,String,β] is not part of the stack ammonite.session.cmd4.R
 or it was not possible to determine the stack that would result from removing [β]cats.data.StateT[cats.Eval,String,β] from ammonite.session.cmd4.R
val res6 = e.runState("foo").runReader(1).runXor.runOption
                     ^
Compilation Failed
@ e.runState("foo").runReader(1).runOption.runXor
cmd6.scala:1: No instance found for Member[[β]cats.data.StateT[cats.Eval,String,β], ammonite.session.cmd4.R].
The effect [β]cats.data.StateT[cats.Eval,String,β] is not part of the stack ammonite.session.cmd4.R
 or it was not possible to determine the stack that would result from removing [β]cats.data.StateT[cats.Eval,String,β] from ammonite.session.cmd4.R
val res6 = e.runState("foo").runReader(1).runOption.runXor
                     ^
Compilation Failed
@ e.runOption.runState("foo").runReader(1).runXor
cmd6.scala:1: No instance found for Member[[β]cats.data.StateT[cats.Eval,String,β], org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]].
The effect [β]cats.data.StateT[cats.Eval,String,β] is not part of the stack org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]
 or it was not possible to determine the stack that would result from removing [β]cats.data.StateT[cats.Eval,String,β] from org.atnos.eff.Fx3[[β$0$]cats.data.Kleisli[[A]A,Int,β$0$],[β$1$]cats.data.StateT[cats.Eval,String,β$1$],[β$2$]cats.data.Xor[String,β$2$]]
val res6 = e.runOption.runState("foo").runReader(1).runXor
                               ^
Compilation Failed
@ type S = Fx.fx3[Option, Reader[Int, ?], State[String, ?]]
defined type S
@ val f = EffMonad[S].pure(())
f: Eff[S, Unit] = Pure(())
@ f.runOption.runState("foo").runReader(1)
cmd8.scala:1: No instance found for Member[Option, ammonite.session.cmd6.S].
The effect Option is not part of the stack ammonite.session.cmd6.S
 or it was not possible to determine the stack that would result from removing Option from ammonite.session.cmd6.S
val res8 = f.runOption.runState("foo").runReader(1)
             ^
Compilation Failed
@ type T = Fx.fx1[Option]
defined type T
@ val g = EffMonad[T].pure(())
g: Eff[T, Unit] = Pure(())
@ g.runOption
res10: Eff[NoFx, Option[Unit]] = Pure(Some(()))
@ type U = Fx.fx2[Option, State[String, ?]]
defined type U
@ val h = EffMonad[U].pure(())
h: Eff[U, Unit] = Pure(())
@ h.runOption.runState("foo")
cmd13.scala:1: No instance found for Member[Option, ammonite.session.cmd11.U].
The effect Option is not part of the stack ammonite.session.cmd11.U
 or it was not possible to determine the stack that would result from removing Option from ammonite.session.cmd11.U
val res13 = h.runOption.runState("foo")
              ^
Compilation Failed
@ h.runState("foo").runOption
cmd13.scala:1: No instance found for Member[[β]cats.data.StateT[cats.Eval,String,β], ammonite.session.cmd11.U].
The effect [β]cats.data.StateT[cats.Eval,String,β] is not part of the stack ammonite.session.cmd11.U
 or it was not possible to determine the stack that would result from removing [β]cats.data.StateT[cats.Eval,String,β] from ammonite.session.cmd11.U
val res13 = h.runState("foo").runOption
                      ^
Compilation Failed