leite neue Art von Fall-Klasse Shapeless

Question

Lasst uns sagen, ich habe

case class User(id: Long, name: String, age: Long, email: Option[String]) 

Gibt es eine Weise, die ich schaffen kann sagen lassen

type UpdateUser = ???.???[User] // update user has same fields as User except all are optional 

, die ich dann als

UpdateUser(name = Some("foo"), email = Some("foo@bar.com")) 

verwenden können

also grundsätzlich Mapping-Typen

Long   :: String   :: Long   :: Option[String] 
-> 
Option[Long] :: Option[String] :: Option[Long] :: Option[String] 

Also noch einmal Frage ist, ist es so (d. H. formlos verwenden), um eine solche abgeleitete Fallklasse mit solchen Feldern zu erzeugen (ohne dazu ein Makro zu schreiben.)

Fallklassen sind nur HLists. Können wir einen neuen Typ basierend auf einer bestimmten Art von HList erstellen?

Answer 1

Sie können keinen Betontyp de novo generieren, außer vielleicht mit einer Makroannotation. Sie können eine Typklasse verwenden, um einen generischen Typ mit der gewünschten transformierten Form abzuleiten.

import shapeless._, labelled._ 

trait RecordAsOption[L] { 
    type Out <: HList 
} 
object RecordAsOption { 
    def apply[L](implicit recordAsOption: RecordAsOption[L]) 
     : Aux[L, recordAsOption.Out] = 
    recordAsOption 
    type Aux[L, Out0 <: HList] = RecordAsOption[L] { type Out = Out0 } 
    implicit def hnilRecordAsOption[L <: HNil]: Aux[L, HNil] = 
    new RecordAsOption[L] { 
     type Out = HNil 
     def apply(l: L) = HNil 
    } 

    implicit def hconsRecordAsOption[K, V, T <: HList](
     implicit tail: RecordAsOption[T]) 
     : Aux[FieldType[K, V] :: T, FieldType[K, Option[V]] :: tail.Out] = 
    new RecordAsOption[FieldType[K, V] :: T] { 
     type Out = FieldType[K, Option[V]] :: tail.Out 
    } 

    implicit def genericRecordAsOption[T, R](
    implicit lg: LabelledGeneric.Aux[T, R], roa: RecordAsOption[T]) 
     : Aux[T, roa.Out] = 
    new RecordAsOption[T] { 
     type Out = roa.Out 
    } 
} 

case class User(id: Long, name: String, age: Long, email: Option[String]) 
val genericUserUpdate = RecordAsOption[User] 
type GenericUserUpdate = genericUserUpdate.Out 

Sie wollen wahrscheinlich einige Funktionen zum RecordAsOption typeclass (angesichts des Namens, der wahrscheinlich eine linsenartige Methode, die das Delta durch die Optionen auf einen Wert von Typ L vertreten gilt) hinzuzufügen, da, wie es steht die Typ ist irgendwie nutzlos. Die Datensatzdarstellung ist in mancher Hinsicht nicht ganz so schön wie eine Fallklasse, aber sie kann gut mit anderen formlos-basierten Dingen zusammenarbeiten (z. B. wäre es einfach, ähnliche Techniken zum spray-json-formlosen JSON zu einem GenericUserUpdate zu deserialisieren)