Ich muss einen erweiterbaren Datensatz mit einem HList von Schlüsseln und einer Map von Werten erstellen, hier ist ein MWE von dem, was ich erreichen möchte (Sie können dies in jeder REPL mit formlosem 2.0, in um das Problem zu reproduzieren)...
Wie bekomme ich den Typ eines HLists als String, damit ich ihn ausdrucken kann? zB "Int :: Long :: String :: HNil"
%Vor%
Ich weiß, dass der String davon nicht sehr nützlich ist und normalerweise der Typ von gen.Repr gewünscht wird
...
Ich suche im Wesentlichen nach dem Gegenteil der Typklasse Prepend[A, B] .
Wenn ich etwas wie: habe
%Vor%
Ich habe eine HList a vom Typ A und eine HList b vom Typ B , ich kann eine prepend: Prepend[A, B] finden, so d...
In object Sized (in "shapeless / sized.scala") gibt es unapplySeq , was leider keine statische Überprüfung bietet. Zum Beispiel scheitert der folgende Code zur Laufzeit mit MatchError :
%Vor%
Es wäre besser, wenn stattdessen unapply...
Ich versuche, eine Methode zu parametrisieren, die an einem generischen Typ A arbeiten muss, für den ein LabelledGeneric abgerufen werden kann. Hier ist der naive Ansatz
%Vor%
Natürlich klagt das zugrunde liegende Makro. Es weiß nicht...
Ich baue eine generische Funktion, die eine HList der Form F[T1] :: ... :: F[Tn] :: HNil übernimmt, diese in eine F[T1 :: ... :: Tn :: HNil] umwandelt und diese dann an einen übergebenen Block übergeben muss Damit ich arbeiten kann, mu...
Angenommen, ich würde die generische Darstellung der Fallklasse wie beschrieben durchlaufen hier
Ich habe eine Typklasse definiert, um Felder zu beschreiben:
%Vor%
Definierte eine Instanz:
%Vor%
Und allgemeiner Benutzer:
%Vor%
S...