Избегайте неявного расширения в рекурсивном классе MTL - PullRequest
Новая
       14

Избегайте неявного расширения в рекурсивном классе MTL

0 голосов
/ 10 мая 2018

Я пытаюсь создать композируемый тип состояния в котах mtl, используя Hlist, и определил MonadState следующим образом 

implicit def hlistStateMonad[M[_], S <: HList, S2]
(implicit S:Selector[S, S2], R:Replacer[S, S2, S2], M:MonadState[M, S]):MonadState[M, S2]

Однако это неявное определение вызывается для разрешения неявного аргумента M, даже если S2 не является списком HList, а селектор и заменитель не могут разрешить, и тогда он не просматривает импликации cats.mtl

Я попытался определить S2 <:! <HList (и =:! =), Но это никак не помогло. </p>

Тестовый код показан ниже: 

object Test {
  implicit def hlistStateMonad[M[_], S <: HList, S2](implicit S:Selector[S, S2], R:Replacer[S, S2, S2], M:MonadState[M, S]):MonadState[M, S2] =
    new MonadState[M, S2] {

      val monad: Monad[M] = M.monad

      def inspect[A](f: S2 => A):M[A] =
        M.inspect(s => f(S(s)))

      def modify(f: S2 => S2):M[Unit] =
        M.modify(s => R(s, f(S(s))).asInstanceOf[(S2, S)]._2)

      def get:M[S2] =
        M.inspect(S.apply)

      def set(s2: S2): M[Unit] =
        M.modify(s => R(s, s2).asInstanceOf[(S2, S)]._2)
    }
}

  test("Monad state resolution with HList") {

    type M[V] = State[Int :: String :: HNil, V]

    import cats.mtl.instances.all._
    import Test._

    val m = implicitly[MonadState[M, Int]]
  }

Ответы [ 2 ]

0 голосов
/ 15 июня 2018

Добавление поиска доказательств того, что S2 не является списком HList (как вы предложили) и поиск MonadState до того, как Selector & Replacer, кажется, справились со мной.

Подозреваю, что он может что-то иметьделать с компилятором, не связывающим S с чем-либо - просто зная, что он ограничен сверху HList.(но это мое лучшее предположение)

Надеюсь, это поможет. 

import cats.Monad
import cats.data.State
import cats.mtl.MonadState
import org.scalatest.{FlatSpec, Matchers}
import shapeless._
import shapeless.::
import shapeless.ops.hlist.{Replacer, Selector}
import cats.mtl.instances.all._

class Test extends FlatSpec with Matchers {

  implicit def hlistStateMonad[M[_], S <: HList, S2](
      implicit
      nEv: S2 <:!< HList,
      M: MonadState[M, S],
      S: Selector[S, S2],
      R: Replacer[S, S2, S2]): MonadState[M, S2] =
    new MonadState[M, S2] {

      val monad: Monad[M] = M.monad

      def inspect[A](f: S2 => A): M[A] =
        M.inspect(s => f(S(s)))

      def modify(f: S2 => S2): M[Unit] =
        M.modify(s => R(s, f(S(s))).asInstanceOf[(S2, S)]._2)

      def get: M[S2] =
        M.inspect(S.apply)

      def set(s2: S2): M[Unit] =
        M.modify(s => R(s, s2).asInstanceOf[(S2, S)]._2)
    }

  "Monad state resolution with HList" should "compile and maybe even run?" in {

    type M[V] = State[Int :: String :: HNil, V]

    val m = implicitly[MonadState[M, Int]]

    val res = for {
      a <- m.set(5)
      b <- m.get
    } yield b + 1

    res.run(1 :: "test" :: HNil).value._2 shouldBe 6
  }
}
0 голосов
/ 10 мая 2018

Попробуйте 

import cats.Monad
import cats.data.State
import cats.mtl.MonadState
import shapeless.{::, HList, HNil, Lazy}
import shapeless.ops.hlist.{Replacer, Selector}

import scala.language.higherKinds

object Test {
  implicit def hlistStateMonad[M[_], S <: HList, S2](implicit S:Selector[S, S2], R:Replacer[S, S2, S2], M:Lazy[MonadState[M, S]]):MonadState[M, S2] =
new MonadState[M, S2] {

    val monad: Monad[M] = M.value.monad

    def inspect[A](f: S2 => A):M[A] =
    M.value.inspect(s => f(S(s)))

    def modify(f: S2 => S2):M[Unit] =
    M.value.modify(s => R(s, f(S(s))).asInstanceOf[(S2, S)]._2)

    def get:M[S2] =
    M.value.inspect(S.apply)

    def set(s2: S2): M[Unit] =
    M.value.modify(s => R(s, s2).asInstanceOf[(S2, S)]._2)
  }
}

Как минимум ошибка меняется.

...