Suchergebnisse für Anfrage "shapeless"
Wie wird ein typsicheres Array mit konstanter Größe in Scala benötigt?
Ich brauche so etwas: def encryptBlock(arr: FixedArray[Size16]) = ??? val blocks = arr.splitFixed[Size16] val encrypted = encryptBlock(FixedArray[Size16]())So, um sicherzugehen, dass ich nur ein 128-Bit-Array als Eingabe erhalte.
Wählen Sie das N-te Element einer HList of Lists aus und geben Sie diesen Wert als HList of values zurück.
Ich habe eine HList, in der jede Spalte eine Spalte einer Tabelle darstellt. Jede Liste in der HList ist gleich lang. Ich möchte eine Funktion schreiben können, die einzelne Zeilen dieser Tabelle als Tupel oder HList von Werten auswählt. ...
Testen einer Behauptung, dass etwas nicht kompiliert werden darf
Das ProblemWenn ich mit Bibliotheken arbeite, die die Programmierung auf Typebene unterstützen, schreibe ich häufig Kommentare wie die folgenden (vonein Beis...
Impliziter Lösungsfehler?
Ich habe an einer "formlosen" Implementierung von @ gearbeit Okasakis ...
Mit einer polymorphen Funktion ein Objekt aus Options extrahieren
In der Dokumentation zu Shapeless wird erläutert, wie mit polymorphen Funktionen eine Funktion erstellt wird, mit der Objekte in einer Art Container einer anderen zugeordnet werde Ich habe eine Liste mit Optionen val options = Some(1) :: ...
Scala List [String] / List [Object] in Modell / HList / Tuple konvertieren
Ein externes System gibt Seq [String] (Art der Datenbank, Ausgabe wie CSV / json) zurück, es ist ein Umbruch von Basistypen: string / numbers. Ich würde lieber mit meinem eigenen Modell arbeiten. object Converter { type Output = (Int, String, ...
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. ...
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 |> ...
Konvertieren von Map [String, Any] mit Shapeless @ zu einer Case-Klas
Die FrageHie [https://stackoverflow.com/questions/31633563/converting-nested-case-classes-to-nested-maps-using-shapeless] fragt nach dem Zuordnen einer Case-Klasse zu einer Map [String, Any]. Ich habe mich gefragt, was anders herum wäre, wenn ...
Fallklassenkonstruktor neu gestalten?
Versuchen, einen Weg zu finden, einen Case-Konstruktor "umzugestalten", um einen Standardwert zu füllen. Ist folgendes möglich? def reshape[T, R1 <: HList, R2 <: HList](h: R1): R2 => T = ??? //example case class MyClass(a: Double, b: String, c: ...