аннотация класса типов должна была быть удалена simulacrum, но не - PullRequest
2 голосов
/ 24 марта 2019

Я пытаюсь написать простой класс типов, используя Simulacrum. Вот мой build.sbt

ThisBuild / scalaVersion     := "2.12.8"
ThisBuild / version          := "0.1.0-SNAPSHOT"
ThisBuild / organization     := "com.example"
ThisBuild / organizationName := "example"

lazy val root = (project in file("."))
  .settings(
    name := "functional",
    autoCompilerPlugins := true,
    libraryDependencies ++= Seq(
      "com.github.mpilquist" %% "simulacrum" % "0.15.0",
      compilerPlugin("org.spire-math" %% "kind-projector" % "0.9.9")
    )
  )

и вот мой код

import simulacrum._

@typeclass trait Functor[F[_]] {
    def map[A, B](fa: F[A])(f: A => B) : F[B]
    def lift[A, B](fa: F[A])(f: A => B) : F[A] => F[B] = fa => map(fa)(f)
    def as[A, B](fa: F[A], b: => B) : F[B] = map(fa)(_ => b)
    def void[A](fa: F[A]) : F[Unit] = as(fa, ())
}

но я получаю ошибку

typeclass annotation should have been removed by simulacrum but was not
[error] @typeclass trait Functor[F[_]] {
[error]                  ^
[error] one error found

1 Ответ

4 голосов
/ 24 марта 2019

Вы не добавили макро-рай

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

https://github.com/mpilquist/simulacrum#including-simulacrum

...