shapeless

7calore

1risposta

Derivando circe Codec per una famiglia caso classe chiusa dove basamento tratto ha un (sigillato) Tipo di utente

posso facilmente genericamente derivare un codec per una famiglia di classe cassa sigillata simili: import io.circe._ import io.circe.generic.auto._ sealed trait Base case class X(x: Int) extends

5calore

1risposta

Circe generica derivazione codec per i record con chiavi oggetto

Sto cercando di implementare qualcosa di simile object Claims { import shapeless._ import shapeless.labelled.FieldType import io.circe._ import io.circe.generic.semiauto._ imp

38calore

1risposta

Cosa significa `T {}` fare Scala

codice Navigazione informe, mi sono imbattuto in questo apparentemente estranea {}here e here: trait Witness extends Serializable { type T val value: T {} } trait SingletonOps { impo

5calore

2risposta

Adder generico da Idris a Scala?

Type Driven Development with Idris presenta il seguente approccio vipera generico: AdderType : (numArgs : Nat) -> Type AdderType Z = Int AdderType (S k) = (next : Int) -> AdderType k adder : (n :

9calore

2risposta

Come ottenere il nome di un campo di classe case come stringa/simbolo in fase di compilazione usando shapeless?

Mi piacerebbe ottenere in qualche modo al momento della compilazione il nome di un campo di una classe in un caso val (forse una stringa o un simbolo Singleton-digitato?). Qualcosa di simile a quanto

6calore

1risposta

Tipo trasformazione con informe

Ho una classe simile a questo: class MyClass[T <: HList] { val x: ??? } Il mio problema è il tipo di x val. Quello che mi piacerebbe è di avere una lista HList con ogni tipo U della lista T so

6calore

1risposta

Fold over HList con tipi sconosciuti

Ho una specie di gerarchia di tipi complessi, ma per suddividerla ci sono due tratti base: Convertable e Conversion[A <: Convertable, B <: Convertable, ad es. c'è una Conversione che può convertire un

5calore

2risposta

Ordinamento automatico/derivato ADT derivato automaticamente in Scala

È possibile derivare automaticamente l'ordine su una famiglia di tratti sigillati in Scala? Per esempio, sarebbe bello essere in grado di fare: sealed trait Letters case object A extends Letters cas

6calore

1risposta

Ottenere elementi da un HList

Ho giocato in giro con HList e le seguenti opere come previsto: val hl = 1 :: "foo" :: HNil val i: Int = hl(_0) val s: String = hl(_1) Tuttavia, non posso ottenere il seguente pezzo di codice di l

6calore

1risposta

Chi può spiegare il significato di questo codice scala

Sto leggendo questo codice per molto tempo. L'ho inserito in REPL e funziona altrettanto bene. ma non ho idea di cosa sta succedendo qui. Perché e come funziona anche questo !!! import shapeless._ c