Resultados da pesquisa a pedido "shapeless"

1 a resposta

Mapeie e reduza / dobre a HList do scalaz.Validation

Comecei com algo assim: 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 |> ...

1 a resposta

Como exigir uma matriz de tamanho constante typesafe no scala?

Eu preciso de algo assim: def encryptBlock(arr: FixedArray[Size16]) = ??? val blocks = arr.splitFixed[Size16] val encrypted = encryptBlock(FixedArray[Size16]()) Portanto, para ter certeza de que recebo apenas uma matriz de 128 bits como entrada.

1 a resposta

Como iterar todos os tipos de produtos em um coproduto usando informe?

Digamos que eu tenho umcoproduto [https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#coproducts-and-discriminated-unions] (uma característica selada), como sealed trait Traity case object Foo extends Traity case class ...

1 a resposta

Convertendo Map [String, Any] em uma classe de caso usando Shapeless

A questãoaqui [https://stackoverflow.com/questions/31633563/converting-nested-case-classes-to-nested-maps-using-shapeless] pergunta sobre o mapeamento de uma classe de caso para um Map [String, Any]. Eu queria saber o que seria o contrário, ...

1 a resposta

Falha implícita na resolução?

Eu tenho trabalhado em uma implementação de "estilo informe"Sistema denso de números binários de ...

1 a resposta

Derivando instâncias de classe de tipo para classes de caso com exatamente um campo

Estou trabalhando em uma biblioteca de análise CSV (tabular [http://nrinaudo.github.io/tabulate/]) Ele usa classes de tipo simples para codificação / decodificação: a codificação, por exemplo, é feita com instâncias deCellEncoder (para codificar ...

1 a resposta

Remodelar um construtor de classe de caso?

Tentando encontrar uma maneira de "remodelar" um construtor de caso para preencher algum valor padrão. É possível o seguinte? def reshape[T, R1 <: HList, R2 <: HList](h: R1): R2 => T = ??? //example case class MyClass(a: Double, b: String, c: ...

1 a resposta

LabelledGeneric para obter o nome da classe

Eu sou relativamente novo em Shapeless, como se deduzirá da minha pergunta. Dada uma instância deLabelledGeneric, como obtenho o nome da classe que ela representa. Posso obter as informações do nome do campo emKeys, então suponho que preciso de ...

1 a resposta

Obtendo subclasses de uma característica selada

É possível (via macros, alguma forma de automagia sem forma ou de outra forma) obter uma lista das subclasses de uma característica selada: Em tempo de compilação?Em tempo de execução?

1 a resposta

Por que a técnica Aux é necessária para cálculos no nível de tipo?

Tenho certeza de que estou perdendo alguma coisa aqui, já que sou bastante novo no Shapeless e estou aprendendo, mas quando é a técnica Aux, na verdade requeridos? Vejo que é usado para expor umtype declaração, elevando-a para a assinatura de ...