shapeless

formlos ist (eine Erkundung von) eine Typklasse und abhängige Typ basierte generische (aka polytypische / polymorphe) Programmierbibliothek für Scala.
1
Antwort

Fremder Typfehler nach "Inlining" eines Wertes

Ich beobachte einen sehr seltsamen Typfehler mit shapeless.everywhere . Betrachten Sie das folgende Ammoniten-Skript, das mit load.module geladen wird: %Vor% Wenn ich jetzt versuche, das MAGIC VAL in diesem Skript "einzubinden", d. h...
19.04.2016, 17:11
2
Antworten

Geben Sie das Casting mit dem Typparameter ein

Gegeben ist eine Java-Methode, die java.lang.Object s für eine gegebene Zeichenfolge zurückgibt. Ich möchte diese Methode in eine Scala-Methode einbetten, die die zurückgegebenen Instanzen in einen Typ T konvertiert. Wenn die Konvertierung...
17.08.2013, 12:44
2
Antworten

Übergabe eines formlosen erweiterbaren Datensatzes an eine Funktion (Fortsetzung)

In Anbetracht dieser Frage: Übergeben eines formlosen erweiterbaren Datensatzes an eine Funktion , Travis 'Antwort zeigt, dass jede Funktion, die einen erweiterbaren Datensatz als Parameter verwendet, einen impliziten Selektor als Parameter hab...
01.12.2013, 11:25
3
Antworten

Bereinigung der 'Fallklasse' mit 'Option' FIelds

Gegeben: %Vor% Ich möchte nur ein Foo nur konstruieren, wenn mindestens eines seiner Argumente Some ist, d. h. nicht alle Felder sind None . Es wäre ziemlich viel Code, um einen algebraischen Datentyp zu schreiben und dann Unter...
20.10.2016, 18:19
2
Antworten

Scala, um die Typparameter eines KList als HList zu erhalten

Angenommen, ich besitze ein beliebiges KList, das aus Argumentationsgründen den Konstruktor Option [_] besitzt, dh; %Vor% Gibt es eine Möglichkeit, eine Hlist aus den Typparametern zu erhalten? %Vor% So könnte ich zum Beispiel eine belie...
29.12.2014, 13:55
1
Antwort

Verwendung der Verfeinerung, um Abhängigkeiten mit Konstanten auszudrücken 22

Ich versuche, Möglichkeiten mit verfeinerten (und formlosen) zu erkunden, um eine verbesserte Typenprüfung zu haben. Ich möchte mit type einige Einschränkungen von Intervall oder Größe darstellen. Also, mit verfeinerten, kann ich solche Di...
01.07.2015, 11:22
1
Antwort

Wie in formlos sagen Sie, dass ein Beweis der leere Typ ist (d. h. falsch)

Ich möchte eine Funktion schreiben, die einen Nat als Parameter akzeptiert, und dieses nat NUR zurückgeben, wenn dieses nat nicht durch drei teilbar ist. zum Beispiel: %Vor% Dazu muss ich etwas schreiben, das sagt "N ist nicht teilbar dur...
20.07.2014, 18:32
1
Antwort

Formlos: Generisches Objektiv, das nach Fallklasse oder Feld parametrisiert ist

Basiert auf: %Vor% Ich versuche, eine Methode zur Linsenherstellung zu entwickeln, etwas: %Vor% Aber es scheint nicht offensichtlich. Ist es möglich zu tun? Wenn nicht, ist das Endergebnis, das ich zu erreichen versuche, eine generisc...
30.07.2014, 14:37
1
Antwort

In formlos, haben zwei Listen, so dass eine Typklassen der anderen enthält

In formlosem Zustand versuche ich eine Funktion zu schreiben, die zwei HLists l1 und l2 beliebiger Länge benötigt, die folgende Eigenschaften aufweisen: Länge von l1 und l2 sind gleich l2 enthält die genauen Typen von l1...
08.01.2014, 19:03
1
Antwort

Nachweishaltende LUB-Einschränkung für HList

Ich denke, ich brauche einen HList, der so eingeschränkt ist, dass alle seine Elemente ein Untertyp eines bestimmten Typs sind. LUBConstraint scheint das zu sein, was ich will, und tatsächlich beschränkt es die Konstruktion eines solchen H...
19.05.2015, 09:40