Resultados da pesquisa a pedido "shapeless"
Converter scala List [String] / List [Object] em model / HList / tuple
Um sistema externo retorna Seq [String] (tipo de banco de dados, saída como CSV / json), é o agrupamento dos tipos de base: string / numbers. Prefiro trabalhar com meu próprio modelo. object Converter { type Output = (Int, String, Double) // for ...
scala - descompacte genérico para HList
Eu tenho o seguinte problema Scala: Escreva uma função que terá uma lista de HLists List(23 :: “a” :: 1.0d :: HNil, 24 :: “b” :: 2.0d :: HNil) # this is list of hlistse retorne HList of Lists List[Int](23, 24) :: List[String](“a”, “b") :: ...
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?
Não é possível provar que tipos singleton são tipos singleton enquanto gera instância de classe de tipo
Suponha que eu tenha uma classe de tipo que prove que todos os tipos em um coproduto Shapeless são tipos singleton: import shapeless._ trait AllSingletons[A, C <: Coproduct] { def values: List[A] } object AllSingletons { implicit def ...
HList de mapa sem forma, dependendo dos tipos de destino
Eu tenho o seguinte problema, quero mapear itens de uma HList para outra HList, mas Strings na HList de origem só devem ser convertidas em URL se o tipo "target" for URL. val name = "Stackoverflow" val url = "https://stackoverflow.com/q" val ...
Aplicar Nat limitado?
Como posso impor umaNat isso é<= N? Exemplo: def lessThan5(x: NatLT5) = ??? Onde lessThan5(Nat(4)) compilaria, maslessThan5(Nat(6)) não faria.
Shapeless: própria restrição HList usando o Coproduct
(NOTA: Dividir deSem forma: tentando restringir os elementos da HList por seu tipo [https://stackoverflow.com/questions/32778746] ) Pergunta 2 - Restrição própria usando o Coproduct O que eu realmente queria fazer é escrever uma nova restrição ...
Converta uma Seq [String] em uma classe de caso de maneira segura
Eu escrevi um analisador que transforma uma String em uma Seq [String] seguindo algumas regras. Isso será usado em uma biblioteca. Eu estou tentando transformar esse Seq [String] em uma classe de caso. A classe de caso seria fornecida pelo ...
Qualquer motivo pelo qual o scala não suporta explicitamente os tipos dependentes?
Existem tipos dependentes de caminho e eu acho que é possível expressar quase todos os recursos de linguagens como Epigram ou Agda em Scala, mas eu estou que...