shapeless

6calore

1risposta

Scala utilizzando informe combinare coprodotti superiore kinded sopra una trasformazione naturale

Dato un insieme di ADT che hanno due sotto insiemi distinti Ad esempio: sealed trait Domain[Y] sealed trait Command[Y] extends Domain[Y] sealed trait Query[Y] extends Domain[Y] case class Add(valu

8calore

1risposta

uso dei nomi informi con LabelledGenerics

Supponiamo mi piacerebbe attraversare caso classe rappresentazione generica come descritto here ho definito alcuni typeclass per descrivere i campi: trait Described[X] extends (X => String) object De

8calore

1risposta

Divisione di una lista H concatenata utilizzando Prepend [A, B]

Sto essenzialmente cercando l'opposto della classe di tipo Prepend[A, B]. Se ho qualcosa di simile: type A = String :: Int :: HNil type B = Boolean :: Double :: HNil val a: A = "a" :: 1 :: HNil va

5calore

1risposta

mappatura sopra HList all'interno di una funzione

Il seguente codice sembra abbastanza ovvio per compilare ed eseguire case class Pair(a: String, b: Int) val pairGen = Generic[Pair] object size extends Poly1 { implicit def caseInt = at[Int](

5calore

1risposta

Trasformare i dati da una memoria runtime per una classe case

sto cercando di astrarre il android.os.Bundle API, con l'obiettivo di generare pacchetti in questo modo: case class MyClass(a: Int, b: String) val mc = MyClass(3, "5") implicit val bundleable = Bund

6calore

1risposta

Uso di scala senza forma per unire i campi di due case history diverse

Desidero unire i campi di due diverse case-class in una singola classe di casi. Per esempio, se ho le seguenti classi case: case class Test(name:String, questions:List[Question], date:DateTime) case

7calore

1risposta

Errore di risoluzione implicita?

Ho lavorato a un'implementazione "stile senza forma" di Okasaki's dense binary number system. È semplicemente un elenco di bit collegati a livello di testo; una sorta di HList di binario Digit s. Ho c

6calore

1risposta

informe: Cercando di limitare gli elementi HList dal loro tipo

Domanda 1 - Base LUBConstraints Il mio primo tentativo a giocare con LUBConstraints esistenti non riesce per la prova (vedi blocco di codice qui sotto) mancante. Qualche suggerimento perché? Non è una

10calore

1risposta

Shapeless definire l'obiettivo per la base tratto

Ho il codice successivo trait A { val id: Int } case class B(id: Int) extends A case class C(id: Int, name: String) extends A voglio definire l'obiettivo comune per tutti gerarchia di classi: impo

5calore

1risposta

Differenza tra i membri di tipo superiore della dichiarazione dei membri

Guardando alle fonti per la libreria informe, ho prestato attenzione a diverse dichiarazioni dei membri di tipo superiore e chiedendomi se ha qualche differenza concreta nell'utilizzo. Per esempio tra