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

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

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

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:

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

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

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

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

Vamos dizer que temos o seguinte código:

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