Hi, I am trying to use ReaderT in the code that I am working with. I found this gist that I do experiment with:
https://gist.github.com/Fristi/3884e656cc809f8d3102 However, when I do run it with older version of Scalaz 7.0.5, which I am restricted to use at the moment. I do get these errors: Error:(63, 7) could not find implicit value for parameter F: scalaz.Functor[Transformers.Task] _ <- Result.require(y > 0, Error.CannotDivideByZero) Error:(63, 7) not enough arguments for method map: (implicit F: scalaz.Functor[Transformers.Task])scalaz.EitherT[Transformers.Task,Transformers.Error,Int]. Unspecified value parameter F. _ <- Result.require(y > 0, Error.CannotDivideByZero) Error:(68, 9) could not find implicit value for parameter F: scalaz.Monad[Transformers.Task] div <- Result.point(3) Error:(28, 121) [A]scalaz.Kleisli[scala.concurrent.Future,Transformers.Env,A] takes one type parameter, expected: two implicit def taskMonad(implicit M: Monad[Future]): MonadReader[({type R[A] = ReaderT[Future, Transformers.Env, A]})#R, Env] = Error:(29, 7) not found: value ReaderT ReaderT.kleisliMonadReader[Future, Env] Error:(31, 76) not found: type DisjunctionT implicit def resultMonad(implicit M: Monad[Task]): Monad[({type D[A] = DisjunctionT[Transformers.Task, Transformers.Error, A]})#D] = Error:(32, 27) kinds of the type arguments (Transformers.Task,Transformers.Error) do not conform to the expected kinds of the type parameters (type F,type L). Transformers.Task's type parameters do not match type F's expected parameters: type R is invariant, but type _ is declared covariant EitherT.eitherTMonad[Task, Error] Error:(36, 14) kinds of the type arguments (Transformers.Task,Transformers.Error,R) do not conform to the expected kinds of the type parameters (type F,type A,type B). Transformers.Task's type parameters do not match type F's expected parameters: type R is invariant, but type _ is declared covariant EitherT[Task, Error, R](Kleisli(f => statement(f))) Error:(42, 12) diverging implicit expansion for type scalaz.Monad[Transformers.Result] starting with method eitherTMonad in trait EitherTInstances0 Monad[Result].point(e) Appreciate any help in any pointer to the code that is working with v. 7.0.5 or any pointer to fixing the code in the gist. Thanks for your help. -- You received this message because you are subscribed to the Google Groups "scalaz" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/scalaz. For more options, visit https://groups.google.com/d/optout.
