hlist

0Hitze

1Antwort

Typ basierend Id-Generator mit Shapeless

Ich möchte eine Art Basis-ID-Generator implementieren, die ich so nennen kann: val nextPersonId = idGen.id[Person] Ich würde IdGen wie ein Merkmal zu sein (wenn möglich): trait IdGen[L <: HList] {

8Hitze

1Antwort

Verwendung formlos Tags mit LabelledGenerics

Angenommen, ich möchte generische Darstellung Fallklasse zu durchqueren als here beschrieben ich einige typeclass definiert haben Felder zu beschreiben: : trait Described[X] extends (X => String) obj

2Hitze

2Antwort

Unendlich (endlich-periodische) HList in Haskell

Lassen Sie uns sagen, ich habe eine unendliche Folge von Aktionen, von denen jede das Ergebnis eines bestimmten Typs zurückgibt. Etwas wie: newtype Stream a = Stream (IO (a, Stream a)) Aber mit a im

0Hitze

1Antwort

Karte für allgemeinen hList

sagen, wir haben folgende Methode def func[T <: HList](hlist: T, poly: Poly) (implicit mapper : Mapper[poly.type, T]): Unit = { hlist map poly } und benutzerdefinierten Poly object f exte

4Hitze

1Antwort

hList als Parameter des Verfahrens mit vereinfachter Art Signatur

Angenommen, ich habe Container-Marker case class TypedString[T](value: String) wo einige value ID T für bestimmte Art darstellt. Ich habe zwei Klassen case class User(id: String) case class Event(i

2Hitze

1Antwort

merkwürdiger Einfluss von impliziten Mapper auf impliziten mapped Parameter

Angenommen, ich habe Container-Marker case class TypedString[T](value: String) und Teilfunktion Trick abstract class PartFunc[Actual <: HList] { val poly: Poly def apply[L1 <: HList](l: L

5Hitze

1Antwort

Mapping über hList innerhalb einer Funktion

Der folgende Code scheint offensichtlich genug zu kompilieren und case class Pair(a: String, b: Int) val pairGen = Generic[Pair] object size extends Poly1 { implicit def caseInt = at[Int](x =

5Hitze

1Antwort

Umsetzen von Daten aus einer Laufzeitspeicher zu einem Fall Klasse

ich zu abstrakt über den android.os.Bundle API versucht, mit dem Ziel Bundles in dieser Art und Weise zu erzeugen: case class MyClass(a: Int, b: String) val mc = MyClass(3, "5") implicit val bundlea

11Hitze

1Antwort

Slick mit formlosem HList verwenden

Slicks Unterstützung für HList ist im Allgemeinen eine großartige Sache. Leider kommt es mit einer eigenen Implementierung, die kaum nützliche Operationen bietet. Ich würde daher gerne die formloseHLi

6Hitze

1Antwort

Shapeless: Der Versuch, hList Elemente durch ihre Art

Frage 1 zu beschränken - Grund LUBConstraints Mein erster Versuch des Spiel mit bestehenden LUBConstraints nicht für fehlende Beweise (siehe Codeblock unten). Irgendein Hinweis warum? Ist eine leere L