Suchergebnisse für Anfrage "shapeless"

1 die antwort

Suchen Sie nach Typklasseninstanzen für Shapeless HList

Sagen Sie, dass ich ein Merkmal habeShow[T] wie der in ...

1 die antwort

Verwenden von shapeless, um Tupel von Future über HList in Future of Tupel umzuwandeln

Gibt es eine einfache Möglichkeit, ein Tupel des Typs (Future [A], Future [B], Future [C], ..., Future [N]) in Future [(A, B, C, ..., N)]? Dies setzt eine undefinierte Anzahl von Elementen im Tupel voraus. Ich habe versucht, das Tupel in HList ...

2 die antwort

Konvertieren Sie eine Seq [String] auf typsichere Weise in eine Case-Klasse

Ich habe einen Parser geschrieben, der einen String nach einigen Regeln in einen Seq [String] umwandelt. Dies wird in einer Bibliothek verwendet. Ich versuche, diese Seq [String] in eine Case-Klasse umzuwandeln. Die Fallklasse wird vom Benutzer ...

TOP-Veröffentlichungen

3 die antwort

Ist ein mehrdeutiger impliziter Wert der einzige Weg, den Fehler in der Kompilierungszeit existierend zu machen

trait Foo trait Bar extends Foo def doStuff[T <: Foo](x: T)(implicit ev: T =!:= Foo) = x doStuff(new Foo{}) //ambiguous implicit value doStuff(new Bar)// successfulDie implizite Auflösung findet zur Kompilierungszeit statt, daher denke ich, dass ...

1 die antwort

Formlos: Generisches Objektiv, parametrisiert nach Gehäuseklasse oder Feld

Beyogen auf: import shapeless._ case class Content(field: Int) lens[Content] >> 'fieldIch versuche, eine Methode zum Erstellen von Linsen zu entwickeln: def makeLens[T <: Product](s: Symbol) = lens[T] >> sAber es scheint nicht offensichtlich. ...

2 die antwort

Wie kann ich Shapeless verwenden, um eine über Arität abstrahierende Funktion zu erstellen?

Betrachten wir ein konkretes Beispiel. Ich habe viele Funktionen, die eine variable Anzahl von Argumenten annehmen und a zurückgebenSeq[T]. Sagen: def nonNeg(start: Int, count: Int): Seq[Int] = Iterator.from(start).take(count).toSeqFür jede ...

1 die antwort

Dynamische Parametrisierung der Poly1-Funktion in Shapeless

Ich habe diese Situation (auf die wesentlichen Teile reduziert) class Foo[L <: HList](columns: L) { class toRecord(row: Row) extends Poly1 { implicit def caseColumn[T] = at[Column[T]] { /* map to a record field */ } } def asRecord = { val ...

1 die antwort

Kann nicht beweisen, dass Singleton-Typen Singleton-Typen sind, während eine Typklasseninstanz generiert wird

Angenommen, ich habe eine Typklasse, die beweist, dass alle Typen in einem Shapeless-Koprodukt Singleton-Typen sind: import shapeless._ trait AllSingletons[A, C <: Coproduct] { def values: List[A] } object AllSingletons { implicit def ...

2 die antwort

Seltsames Verhalten beim Versuch, mit Shapeless @ rekursiv Fallklassen in heterogene Listen zu konvertier

Ich bin letzte Nacht viel zu spät aufgestanden und habe versucht, dieses formlose Problem zu lösen, und ich fürchte, es wird meinen Abend verschlingen, wenn ich es nicht von der Brust krieg n dieser minimierten Version definiere ich nur eine ...

1 die antwort

Liste von scalaz.Validation kartieren und verkleinern / überklappen

Ich habe mit so etwas angefangen: def nonEmpty[A] = (msg: String) => (a: Option[A]) => a.toSuccess(msg) val postal: Option[String] = request.param("postal") val country: Option[String] = request.param("country") val params = (postal |> ...