Implícito classe para akka fluxo SubFlow (genérico caminho dependentes de tipos)

0

Pergunta

Eu estou tendo um tempo duro para obter um implicit class para um akka.stream.scaladsl.SubFlow para compilar.

Meu código de teste:

val subFlow = Source(List("1", "2", "3"))
  .groupBy(1, f)

val richSubFlow = new SideEffectfulSubFlowOps(subFlow)

val got = richSubFlow
  .withSideEffect((elem: String) => recordedItems.add(elem))
  .mergeSubstreams
  .to(Sink.seq)

/* In the end I would like to write it like this:
val got = Source(List("1", "2", "3"))
  .groupBy(1, f)
  .withSideEffect((elem: String) => recordedItems.add(elem))
  .mergeSubstreams
  .to(Sink.seq)
*/ 

O implícito classe I, até agora.

  implicit class SideEffectfulSubFlowOps[+Out, +Mat, FOps <: FlowOps[Out, Mat], C](val enrichedSubFlow: SubFlow[Out, Mat, FOps#Repr, C]) extends AnyVal {

    def withSideEffect(f: Out => Unit): enrichedSubFlow.Repr[Out] = {
      enrichedSubFlow.map { o =>
        f(o)
        o
      }
    }
  }

Infelizmente eu não posso descobrir o bom tipos genéricos definir para o implícito de classe.

O erro de compilador:

[error] SubFlowExtensionsSpec.scala:21:43: type mismatch;
[error]  found   : akka.stream.scaladsl.SubFlow[String,akka.NotUsed,[+O]akka.stream.scaladsl.Source[O,akka.NotUsed],akka.stream.scaladsl.RunnableGraph[akka.NotUsed]]
[error]  required: akka.stream.scaladsl.SubFlow[?,?,?#Repr,?]
[error]       val x = new SideEffectfulSubFlowOps(subFlow)

Olhando para a definição de subflow: trait SubFlow[+Out, +Mat, +F[+_], C] extends FlowOps[Out, Mat] Eu não entendo como eu precisa definir os tipos genéricos no meu implícito de classe que são então usados para o tipo de F e C do SubFlow.

1

Melhor resposta

0

Tente usar superior-kinded tipo de parâmetro como na definição de SubFlow

implicit class SideEffectfulSubFlowOps[+Out, +Mat, +FOps[+_], C](val enrichedSubFlow: SubFlow[Out, Mat, FOps, C]) extends AnyVal
2021-10-25 16:13:06

Já tentei fazer isso e também não trabalha. Erro do compilador: argument expression's type is not compatible with formal parameter type
leozilla

@leozilla não Pode reproduzir. scastie.scala-lang.org/RlTubBvcTQadwh9S7dW7Kw por Favor, forneça o código inteiro que não compilar com este erro.
Dmytro Mitin

se vc alterar a scala 2.12.12 ele não compila mais. scastie.scala-lang.org/IIeRtsG1SImlxacl2HzZIA
leozilla

@leozilla O problema parece ser o de que tipo de parameterrs não são inferidos. O primeiro caso (com chamada explícita) pode ser salvo especificado o tipo de parâmetros scastie.scala-lang.org/DmytroMitin/76yS2AG6SMGDrEZZDC9VdA O problema que você não pode especificá-los com o método de extensão. Eu não tenho medo de que muito pode ser feito aqui no 2.12.
Dmytro Mitin

Em outros idiomas

Esta página está em outros idiomas

Русский
..................................................................................................................
Italiano
..................................................................................................................
Polski
..................................................................................................................
Română
..................................................................................................................
한국어
..................................................................................................................
हिन्दी
..................................................................................................................
Français
..................................................................................................................
Türk
..................................................................................................................
Česk
..................................................................................................................
ไทย
..................................................................................................................
中文
..................................................................................................................
Español
..................................................................................................................
Slovenský
..................................................................................................................