shapeless

38Hitze

1Antwort

Was bedeutet `T {}`

Browsing Shapeless Code in Scala tun, stieß ich auf diese scheinbar fremden {}here und here: trait Witness extends Serializable { type T val value: T {} } trait SingletonOps { import

5Hitze

2Antwort

Generic Adder von Idris nach Scala?

Type Driven Development with Idris stellt den folgenden allgemeinen Addierer Ansatz: AdderType : (numArgs : Nat) -> Type AdderType Z = Int AdderType (S k) = (next : Int) -> AdderType k adder : (n

9Hitze

2Antwort

Wie erhält man den Namen eines Fallklassenfelds als String/Symbol zum Zeitpunkt der Kompilierung mit formlosem?

Ich möchte irgendwie zur Kompilierzeit den Namen eines Feldes einer Fallklasse in einem val bekommen (möglicherweise eine Singleton-typisierte Zeichenkette oder ein Symbol?). Etwas wie folgt aus: impo

5Hitze

2Antwort

Automatisch abgeleitete versiegelte Trait/ADT-Bestellung in Scala

Ist es möglich, automatisch die Reihenfolge auf einer versiegelten Merkmalsfamilie in Scala abzuleiten? Zum Beispiel wäre es schön, in der Lage sein, zu tun: sealed trait Letters case object A extend

17Hitze

2Antwort

Wie eine Funktion, deren Ausgangstyp ist abhängig vom Eingangstyp

Angesichts der folgenden Klassen definieren: case class AddRequest(x: Int, y: Int) case class AddResponse(sum: Int) case class ToUppercaseRequest(str: String) case class ToUppercaseResponse(upper:

3Hitze

1Antwort

LabelledGenerische Instanzgenerierung auf einer gekennzeichneten Fall-Klasse gibt mir einen Fehler in formlosen

Ich versuche, eine LabelledGeneric-Instanz von einem markierten Typ von einem anderen HList (ein anderes LabelledGeneric um genau zu sein), aber der Compiler gibt mir eine Fehlermeldung dass es das Im

1Hitze

1Antwort

rekursive Druckfeldname bei Klasse über formlos

Ich habe den nächsten Code: trait X case class Bar(id: Int) extends X case class Foo(id: Int, bar: Bar) extends X ich will für Foo mit inneren Klassen alle Felder drucken, die ich für sie formlos

7Hitze

4Antwort

Scala: Reflexion und Fallklassen

Der folgende Code ist erfolgreich, aber gibt es eine bessere Möglichkeit, dasselbe zu tun? Vielleicht etwas Spezifisches für Fallklassen? Im folgenden Code durchläuft der Code für jedes Feld vom Typ S

1Hitze

2Antwort

Wie bekomme ich die erste Einige einer HList beim Zusammensetzen von Spray-Direktiven (Shapeless, Scala)

Angenommen, ich möchte eine einfache Direktive erstellen, um einen Sitzungsbezeichner von der HTTP-Anfrage abzurufen, aber mit einer Wendung: Die Anfrage könnte verwenden ein altes Format, aber beide

3Hitze

1Antwort

Ist es möglich, ein non-object shapeless.Poly1 zu verwenden, das mit Everywhere funktioniert?

Mein Versuch funktioniert unten nicht: class Absolute(rootDir: File) extends Poly1 { implicit def caseFile[F <: File]: Case[F] { type Result = File } = at[F] { f => if (f.isAbsolute) f