Resultados de la búsqueda a petición "shapeless"
No se puede probar que los tipos singleton son tipos singleton mientras se genera una instancia de clase de tipo
Supongamos que tengo una clase de tipo que demuestra que todos los tipos en un coproducto sin forma son tipos únicos: import shapeless._ trait AllSingletons[A, C <: Coproduct] { def values: List[A] } object AllSingletons { implicit def ...
Mapear y reducir / doblar HList de scalaz. Validación
Empecé con algo como esto: def nonEmpty[A] = (msg: String) => (a: Option[A]) => a.toSuccess(msg) val postal: Option[String] = request.param("postal") val country: Option[String] = request.param("country") val params = (postal |> ...
¿Cómo requerir una matriz de tamaño constante typesafe en scala?
Necesito algo como esto: def encryptBlock(arr: FixedArray[Size16]) = ??? val blocks = arr.splitFixed[Size16] val encrypted = encryptBlock(FixedArray[Size16]()) Entonces, para asegurarme de que solo recibo una matriz de 128 bits como entrada.
¿Cómo iterar todos los tipos de productos en un coproducto usando sin forma?
Digamos que tengo uncoproducto [https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#coproducts-and-discriminated-unions] (un rasgo sellado) como sealed trait Traity case object Foo extends Traity case class Bar() ...
Convertir Map [String, Any] en una clase de caso usando Shapeless
La preguntaaquí [https://stackoverflow.com/questions/31633563/converting-nested-case-classes-to-nested-maps-using-shapeless] pregunta sobre el mapeo de una clase de caso a un Map [String, Any]. Me preguntaba qué sería al revés, convirtiendo Map ...
¿Falla de resolución implícita?
He estado trabajando en una implementación de "estilo sin forma" deEl denso sistema de números binarios de ...
Derivar instancias de clase de tipo para clases de caso con exactamente un campo
Estoy trabajando en una biblioteca de análisis CSV (tabular [http://nrinaudo.github.io/tabulate/]) Utiliza clases de tipo simples para codificar / decodificar: la codificación, por ejemplo, se realiza con instancias deCellEncoder (para codificar ...
¿Reformar un constructor de clase de caso?
Tratando de encontrar una manera de "remodelar" un constructor de casos para llenar algún valor predeterminado. ¿Es posible lo siguiente? def reshape[T, R1 <: HList, R2 <: HList](h: R1): R2 => T = ??? //example case class MyClass(a: Double, b: ...
LabelledGeneric para obtener el nombre de la clase
Soy bastante nuevo en Shapeless, como se deducirá de mi pregunta. Dada una instancia deLabelledGeneric, ¿cómo obtengo el nombre de la clase que representa? Puedo obtener la información del nombre del campo deKeysasí que supongo que necesito otro ...
Obtener subclases de un rasgo sellado
¿Es posible (a través de macros, alguna forma de forma automática sin forma u otra) obtener una lista de las subclases de un rasgo sellado: En tiempo de compilación?¿En tiempo de ejecución?