Resultados da pesquisa a pedido "singleton-type"
função de replicação para uma lista indexada em comprimento usando GHC.TypeLits e singletons
Estou tentando escrever uma função de replicação para uma lista indexada por comprimento usando o mecanismo deGHC.TypeLits [https://hackage.haskell.org/package/base-4.11.0.0/docs/GHC-TypeLits.html], singletons ...
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 ...
Uso de igualdade booleana linguística (singletons)
Quero criar uma estrutura de dados para armazenar itens marcados no nível de tipo usando o Symbol. Este: data Store e (ss :: [Symbol]) where Nil :: Store e '[] Cons :: e s -> Store e ss -> Store e (s ': ss) data HasElem (a :: k) (as :: [k]) ...