contrainte polymorphes

Question

J'ai un certain type artificiel:

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

... et ce type est l'instance d'une classe artificielle:

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

Comment puis-je exprimer une contrainte de fonction qui est T a une instance de classe pour tous a?

Par exemple, considérons la fonction suivante:

f t = toInt $ fmap Left t 

Intuitivement, je me attends à la fonction ci-dessus fonctionne depuis toInt travaux sur T a pour tous a, mais je ne peux exprimer que dans le type. Cela ne fonctionne pas:

f :: (Functor t, C (t a)) => t a -> Int 

... parce que quand nous appliquons fmap le type est devenu Either a b. Je ne peux pas résoudre ce problème en utilisant:

f :: (Functor t, C (t (Either a b))) => t a -> Int 

... parce que b ne représente pas une variable universellement quantifiée. Je ne peux pas dire:

f :: (Functor t, C (t x)) => t a -> Int 

... ou utiliser forall x pour suggérer que la contrainte est valable pour tous les x. Donc, ma question est de savoir s'il existe un moyen de dire qu'une contrainte est polymorphe sur certaines de ses variables de type.

Answer 1

Utilisation du package constraints:

{-# LANGUAGE FlexibleContexts, ConstraintKinds, DeriveFunctor, TypeOperators #-} 

import Data.Constraint 
import Data.Constraint.Forall 

data T a = T a deriving (Functor) 

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

f :: ForallF C T => T a -> Int 
f t = (toInt $ fmap Left t) \\ (instF :: ForallF C T :- C (T (Either a b)))