Suchergebnisse für Anfrage "shapeless"
Enforce Bounded Nat?
Wie kann ich ein @ erzwingeNat das ist<= N? Beispiel def lessThan5(x: NatLT5) = ??? w lessThan5(Nat(4)) würde kompilieren, aberlessThan5(Nat(6)) würde nicht
Update Case Class von unvollständigem JSON mit Argonaut oder Circe
Ich muss eine aktualisierte Instanz aus einer Instanz einer Fallklasse erstellen (mit allen erforderlichenDecodeJsons implizit abgeleitet), bei unvollständigem json (einige Felder fehlen). Wie kann dies mit Argonaut (am besten) oder Circe (wenn ...
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. ...
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) :: ...