Resultados da pesquisa a pedido "type-families"

1 a resposta

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 ...

2 a resposta

Abstração de tipo no GHC Haskell

Gostaria de obter o seguinte exemplo para verificação de tipo: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor f => ...

1 a resposta

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 ...

3 a resposta

Como colocar restrições nos dados associados?

Gostaria de afirmar que os dados associados são sempre uma instância de uma determinada classe.

2 a resposta

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:

1 a resposta

Como aplico o raciocínio indutivo ao `GHC.TypeLits.Nat`?

Considere esta definição dezip para o comprimento usual dos vetores indexados pelos algarismos Peano: {-# language DataKinds #-} {-# language KindSignatures #-} {-# language GADTs #-} {-# language TypeOperators #-} {-# language ...

6 a resposta

estrições de tipo em todas as instâncias da família de tip

Suponho que o que eu quero seja impossível sem o Template Haskell, mas perguntarei de qualquer maneir Tenho uma interface para tipos comoData.Set eData.IntSet: type family Elem s :: * class SetLike s where insert :: Elem s -> s -> s member :: ...

2 a resposta

'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, ...

2 a resposta

Haskell: definições de instância para famílias de tipos

Vamos dizer que temos o seguinte código:

2 a resposta

Listas heterogêneas de tipo segmentado e padronizado (?) Com famílias de tipos?