गारंटी है कि प्रकार परिवारों कुछ वर्गों प्राप्त होगा

Question

मैं निम्नलिखित की तरह कुछ है। मैं कैसे सुनिश्चित करने के लिए कि उनके data Pig और data Cow कार्यान्वयन Show के सभी उदाहरणों हैं सब Configuration उदाहरणों के लिए मजबूर करने पता नहीं है।

मैं जानता हूँ कि मैं इसे showPig और showCow तरीकों और बाहर पूरे परिसर show उदाहरण लेखन कर सकता है, लेकिन वास्तव में बातें इस तुलना में अधिक जटिल हैं और काफी दर्द होगा।

एक आसान, सुरुचिपूर्ण गारंटी नहीं है कि प्रकार परिवार उदाहरणों खुद को कुछ वर्गों के उदाहरण हैं रास्ता नहीं है?

Answer 1

तुम बस Show उदाहरण के लिए मैन्युअल रूप से बाधाओं को निर्दिष्ट करने के StandaloneDeriving उपयोग कर सकते हैं।

{-# LANGUAGE StandaloneDeriving, FlexibleContexts, UndecidableInstances #-} 
deriving instance (Show (Pig c), Show (Cow c)) => Show (Farm c) 

यह अभी भी आप Cow और Pig साथ Configuration उदाहरणों कि Show को लागू नहीं करते, फिर भी, जब तक आप उन्हें show की कोशिश न करें के रूप में कराएंगे।

Answer 2

जब से तुम तुम बल करना चाहता था Configuration के सभी उदाहरणों के लिए Pig c और Cow c लागू Show, यह बस, वर्ग के संदर्भ में प्रकार परिवारों विवश इसलिए की तरह करने के लिए है करने के लिए एक और भी आसान तरीका:

{-# LANGUAGE TypeFamilies, FlexibleContexts #-} 

class (Show (Pig c), Show (Cow c)) => Configuration c where 
    data Pig c 
    data Cow c 

data Farm c = Farm { pigs :: [Pig c], 
        cows :: [Cow c] } deriving (Show) 

संपादित करें:

रूप @hammar उसकी टिप्पणी में बताया, पिछले कोड संकलन नहीं होंगे। इसे ठीक करने का एक तरीका है जैसा कि उसने सुझाव दिया था StandaloneDeriving का उपयोग करना है। दूसरा रास्ता यह है:

{-# LANGUAGE TypeFamilies, FlexibleContexts, GADTSyntax #-} 

class (Show (Pig c), Show (Cow c)) => Configuration c where 
    data Pig c 
    data Cow c 

data Farm c where 
    Farm :: Configuration c => { pigs :: [Pig c], 
           cows :: [Cow c] } -> Farm c deriving (Show) 

इन दो दृष्टिकोण आप थोड़ा अलग परिणाम प्राप्त, कि @ Hammar के दृष्टिकोण में एक Configuration बाधा की आवश्यकता होगी अगर आप show कहते हैं, जबकि मेरे दृष्टिकोण कर देगा उपलब्ध कहा बाधा।