shapeless

6calore

1risposta

Elenco con vincoli di tipo su elementi consecutivi

È possibile definire un tipo di lista in cui ogni coppia di elementi consecutivi soddisfa qualche relazione (vincolo). Ad esempio, un elenco di funzioni tali che le funzioni può essere composto: val f

5calore

1risposta

Sono necessarie più prove del necessario per il metodo che utilizza Shapeless

Ieri stavo esplorando Shapeless con alcuni colleghi e abbiamo deciso di scrivere un metodo giocattolo per aggiungerne uno al primo parametro di una classe del caso, quando tale parametro è un Int: def

11calore

1risposta

tipi di scala scala dipendenti e prove di livello di tipo

Attualmente sto cercando di definire un modello di un linguaggio di flusso di dati in scala. Un flusso rappresenta virtualmente una sequenza infinita di valori di qualche tipo T, stimolati da un certo

5calore

1risposta

intesa `Monomorphism` Esempio di Shapeless

La Shapeless Features Overview mostra il seguente esempio: import poly._ // choose is a function from Sets to Options with no type specific cases object choose extends (Set ~> Option) { def ap

14calore

1risposta

valori delle etichette estratto da un'istanza LabelledGeneric

consideri il seguente esempio: import shapeless._ case class Foo(bar: String, baz: Boolean) val labl = LabelledGeneric[Foo] Ora, il tipo di labl è (prettified) LabelledGeneric[Foo] { type Re

8calore

1risposta

Passare un parametro di tipo da utilizzare come argomento LabelledGeneric

Sto provando a parametrizzare un metodo che deve funzionare su un tipo generico A per il quale è possibile recuperare uno LabelledGeneric. Ecco l'approccio ingenuo case class Foo(bar: String, baz: Boo

8calore

1risposta

Come richiedere un array di dimensioni costanti di tipo typesable in scala?

Ho bisogno di qualcosa di simile: def encryptBlock(arr: FixedArray[Size16]) = ??? val blocks = arr.splitFixed[Size16] val encrypted = encryptBlock(FixedArray[Size16]()) Così, per essere si

5calore

1risposta

Shapeless: IsHCons, implicito non trovato

Sto cercando di rendere questo esempio piuttosto sciocco, progettando di estenderlo a qualcosa di più significativo. ma senza fortuna finora: ottengo could not find implicit value for parameter ihc Ch

7calore

1risposta

astrazione su una sequenza di tipi

Supponendo che abbiamo un tipo T[A,B], possiamo esprimere il seguente tipo di vincolo, chiamiamolo HT: ogni tipo soddisfacente HT devono essere di forma T[P1, P2] :: T[P2, P3] :: T[P3, P4] :: ... :: T

5calore

1risposta

Aggiornamenti generici sulla classe del caso sicuro in Scala

Sto tentando di scrivere del codice che tiene traccia delle modifiche a un record e le applica in un secondo momento. In un linguaggio dinamico lo farei semplicemente mantenendo un log di coppie List