polimorficzne ograniczenie

Question

mam jakiś rodzaj contrived:

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

... i tego typu jest wystąpienie pewnej klasie contrived:

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

Jak mogę wyrazić ograniczenie funkcji, która jest T a instancja jakiejś klasy dla wszystkich a?

Na przykład rozważmy następującą funkcję:

f t = toInt $ fmap Left t 

Intuicyjnie spodziewałbym wyżej funkcja działała od toInt prac nad T a dla wszystkich a, ale nie mogę wyrazić, że w tego typu. To nie działa:

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

... bo gdy stosujemy fmap typ stał Either a b. Nie mogę rozwiązać ten problem przy użyciu:

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

... bo b nie reprezentuje zmienną powszechnie ilościowo. Nie mogę powiedzieć:

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

... lub użyj forall x się sugerować, że ograniczenie jest ważne we wszystkich x.

Moje pytanie brzmi, czy istnieje sposób, aby powiedzieć, że ograniczenie jest polimorficzne w stosunku do niektórych zmiennych tego typu.

Answer 1

Korzystanie pakiet 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)))