Resultados da pesquisa a pedido "type-families"
Haskell: definições de instância para famílias de tipos
Vamos dizer que temos o seguinte código:
Como colocar restrições nos dados associados?
Gostaria de afirmar que os dados associados são sempre uma instância de uma determinada classe.
Mensagem de erro incompreensível com famílias de tipos
Estou tentando entender famílias de tipos sem muito sucesso. Aqui está um exemplo mínimo:
'família de tipos' vs 'família de dados', em resumo?
Estou confuso sobre como escolher entredata family etype family. A página wiki emTipoFamílias [http://www.haskell.org/haskellwiki/GHC/Type_families#Injectivity.2C_type_inference.2C_and_ambiguity] entra em muitos detalhes. Ocasionalmente, ...
É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?
Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...
Restrição de classe de tipo nas instâncias da família de tipos
É possível especificar uma restrição de classe de tipo que deve ser atendida por todas as instâncias de uma família de tipos? Por exemplo, dada a seguinte declaração, como garantir que todas as instâncias também sejam instâncias deEq: data ...
Famílias de tipo fechado e tipos de função estranhos
Desculpe, eu não conseguia imaginar um título melhor para a pergunta, então leia adiante. Imagine que temos uma família de tipos fechados que mapeia todos os tipos correspondentesMaybe exceto os próprios talvez: type family Family x where Family ...
Por que não podemos definir famílias de dados fechadas?
Todo o trabalho a seguir: {-# LANGUAGE TypeFamilies #-} type family TF a type instance TF Int = String type instance TF Bool = Char data family DF a data instance DF Int = DFInt String data instance DF Bool = DFBool Char type family CTF a where ...
Página 1 do 2