बहुरूपी बाधा

Question

मैं कुछ काल्पनिक प्रकार है:

{-# LANGUAGE DeriveFunctor #-} 

data T a = T a deriving (Functor) 

... और उस प्रकार कुछ काल्पनिक वर्ग के उदाहरण है:

class C t where 
    toInt :: t -> Int 

instance C (T a) where 
    toInt _ = 0 

मैं कैसे एक समारोह बाधा में व्यक्त कर सकते हैं T a है कि सभी a के लिए कुछ कक्षा का एक उदाहरण? Intuitively

f t = toInt $ fmap Left t 

, मैं ऊपर समारोह सभी a के लिए T a पर toInt काम करता है के बाद से काम करने की उम्मीद है, लेकिन मैं व्यक्त नहीं कर सकते कि प्रकार में:

उदाहरण के लिए, निम्नलिखित समारोह पर विचार करें। यह काम नहीं करता:

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

... क्योंकि जब हम fmap लागू प्रकार Either a b बन गया है। मैं का उपयोग कर इसे ठीक नहीं कर सकते हैं:

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

... क्योंकि b एक सार्वभौमिक मात्रा निर्धारित चर का प्रतिनिधित्व नहीं करता। न ही मैं कह सकता हूँ:

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

... या forall x का उपयोग जो बताते हैं कि बाधा सभी x लिए मान्य है।

तो मेरा सवाल यह है कि अगर ऐसा कहने का कोई तरीका है कि एक बाधा इसके कुछ प्रकार के चर पर बहुलक है।

Answer 1

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