हास्केल/एग्डा

Question

में टाइप-स्तरीय सेट मैंने देखा है कि जीएचसी के नवीनतम संस्करणों में टाइप-स्तरीय सूचियों के लिए समर्थन है। हालांकि, मुझे किसी एप्लिकेशन के लिए टाइप-स्तरीय सेट के साथ काम करने की आवश्यकता है, और टाइप-स्तरीय सूचियों के आधार पर एक प्रकार-स्तरीय सेट लाइब्रेरी को कार्यान्वित करना चाहते हैं। लेकिन मैं जहां शुरू करने के लिए :(

वहाँ किसी भी पुस्तकालय हास्केल में प्रकार स्तरीय सेट समर्थन कर रहा है पता नहीं है

Answer 1

आप HSet संपत्ति HList के लिए HList पैकेज से उपयोग कर सकते हैं:

{-# LANGUAGE FlexibleInstances #-} 

import Data.HList 

class (HList l, HSet l) => ThisIsSet l where 
    -- Here we have @l@ which is @HList@ _and_ @HSet@. 
    test :: l 

-- This is ok: 

instance ThisIsSet HNil where 
    test = hNil 

-- And this: 

instance ThisIsSet (HCons HZero HNil) where 
    test = hCons hZero hNil 

-- And this (HZero != HSucc HZero): 

instance ThisIsSet (HCons HZero (HCons (HSucc HZero) HNil)) where 
    test = hCons hZero (hCons (hSucc hZero) hNil) 

-- This is an error since HSucc HZero == HSucc HZero: 

instance ThisIsSet (HCons (HSucc HZero) (HCons (HSucc HZero) HNil)) where 
    test = hCons (hSucc hZero) (hCons (hSucc hZero) hNil) 

अन्य प्रकार के साथ काम करने के लिए आपको HEq उनके लिए उदाहरण लिखने की आवश्यकता है।