Intellij/sbt error: not found:object KVStore

[kthompson]

When i use the example provided:

import cats._
import cats.free._
import freasymonad.cats.free

import scala.collection.mutable

@free trait KVStore {                     // you can use any names you like
type KVStoreF[A] = Free[GrammarADT, A]  // as long as you define a type alias for Free
sealed trait GrammarADT[A]              // and a sealed trait.

  // abstract methods are automatically lifted into part of the grammar ADT
  def put[T](key: String, value: T): KVStoreF[Unit]
  def get[T](key: String): KVStoreF[Option[T]]

  def update[T](key: String, f: T => T): KVStoreF[Unit] =
    for {
      vMaybe <- get[T](key)
      _      <- vMaybe.map(v => put[T](key, f(v))).getOrElse(Free.pure(()))
    } yield ()
}

class impureInterpreter extends KVStore.Interp[Id] {
  val kvs = mutable.Map.empty[String, Any]

  def get[T](key: String): Id[Option[T]] = {
    println(s"get($key)")
    kvs.get(key).map(_.asInstanceOf[T])
  }

  def put[T](key: String, value: T): Id[Unit] = {
    println(s"put($key, $value)")
    kvs(key) = value
  }
}

I get an error Error:(64, 33) not found: value KVStore class impureInterpreter extends KVStore.Interp[Id] {

I have tried "com.thangiee" %% "freasy-monad" % "0.3.0", and "com.thangiee" %% "freasy-monad" % "0.4.0",

[Thangiee]

Hmm, I can't seem to reproduce the error.

Which scala version are you using?

Also what are you using to run the code (intellij or sbt run, etc... )?

[kthompson]

I am running scalaVersion := "2.11.5", I am primarily using intellij but i get the same errors if I run sbt compile

It is a bit strange as it was working and then I changed some things, but now I get the error above.

Here is a minimal example: https://github.com/kthompson/freasy-test

[Thangiee]

Try adding this to your build.sbt:

addCompilerPlugin("org.scalamacros" % "paradise" % "2.1.0" cross CrossVersion.full)

[kthompson]

That seems to have helped. Not sure why it didnt work in the plugin.sbt file. Now I am getting some other weird errors:

Error:(27, 20) wrong number of type parameters for method getAll: [F[_], T](implicit I: cats.free.Inject[FilterStore.FilterStoreGrammar,F])cats.free.Free[F,List[T]] get <- getAll[Any] Error:(7, 2) too many arguments for method removeAll: ()(implicit I: cats.free.Inject[FilterStore.FilterStoreGrammar,F])cats.free.Free[F,Unit] @free

[kthompson]

It looks like at least one parameter is required for the abstract methods within the trait?

[Thangiee]

Something may not be generated correctly. I am going to look into it.

[Thangiee]

Could you give v0.4.1 a try?

resolvers += Resolver.jcenterRepo
libraryDependencies ++= Seq(
  "com.thangiee" %% "freasy-monad" % "0.4.1",
  "org.typelevel" %% "cats" % "0.7.2" 
)
addCompilerPlugin("org.scalamacros" % "paradise" % "2.1.0" cross CrossVersion.full)

Please tell me if it works or not, thanks!

[kthompson]

Awesome! Looks like its working. Thanks for the quick responses. 😃

[Thangiee]

No problem :)