Implicit clasa de akka flux SubFlow (generic calea tipuri dependente)

0

Problema

Eu sunt având un timp de greu pentru a obține o implicit class pentru o akka.stream.scaladsl.SubFlow pentru a compila.

Testul meu de cod:

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)
*/ 

Implicit clasa I până în prezent.

  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
      }
    }
  }

Din păcate, eu nu pot da seama corespunzătoare tipurilor generice de a defini pentru implicite de clasă.

Compilatorul de eroare:

[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)

Se uită la definiția subflow: trait SubFlow[+Out, +Mat, +F[+_], C] extends FlowOps[Out, Mat] Nu inteleg de ce am nevoie pentru a defini tipuri generice pe al meu implicit clasa care sunt apoi utilizate pentru tip F și C de SubFlow.

1

Cel mai bun răspuns

0

Încercați să utilizați mai mare-kinded tip de parametru ca în definiția SubFlow

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

Am încercat deja și, de asemenea, nu funcționează. Compiler eroare: argument expression's type is not compatible with formal parameter type
leozilla

@leozilla nu Pot reproduce. scastie.scala-lang.org/RlTubBvcTQadwh9S7dW7Kw vă Rugăm să furnizați codul asta nu compila cu această eroare.
Dmytro Mitin

dacă u pentru a schimba scala 2.12.12 nu compila mai. scastie.scala-lang.org/IIeRtsG1SImlxacl2HzZIA
leozilla

@leozilla problema pare a fi acel tip parameterrs nu sunt deduse. Primul caz (cu apel explicit) pot fi salvate tipul specificat parametrii scastie.scala-lang.org/DmytroMitin/76yS2AG6SMGDrEZZDC9VdA problema nu puteți specifica-le cu metoda de extindere. Mă tem că nu mai poate fi făcut aici, în 2.12.
Dmytro Mitin

În alte limbi

Această pagină este în alte limbi

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