मैं एडीटी का एक अनबॉक्स उदाहरण कैसे बना सकता हूं?

Question

मुझे ऐसे संसाधनों को खोजने में परेशानी हो रही है जो एक अनबॉक्स किए गए वेक्टर में उपयोग के लिए मेरे डेटा प्रकारों को अनबॉक्स किए जाने के लिए काम करते हैं। मैं डेटा प्रकार

data Color = Yellow | Red | Green | Blue | Empty deriving (Show, Eq) 

अनबॉक्स का उदाहरण कैसे बनाऊंगा?

संपादित करें: थोड़ा और अधिक पोक करने के बाद, ऐसा लगता है कि कुछ कार्यों में पैरामीटर को मजबूती से मजबूर करने के द्वारा, मैं जीएचसी को स्वचालित रूप से अनबॉक्स करने के लिए मना कर सकता हूं। अगर यह मेरे मामले में लागू होता है? मुझे कैसे पता चलेगा कि कौन से paramaters सख्त बनाने के लिए?

Answer 1

GeneralizedNewtypeDeriving आपकी मदद नहीं करेगा क्योंकि आप पहले से Unbox का एक उदाहरण है जो किसी नए प्रकार के लपेटने के बजाय 'पूर्ण-उड़ा' एडीटी से निपट रहे हैं।

आपका डेटा प्रकार बॉक्स किए गए वैक्टर के लिए अधिक उपयुक्त है। Data.Vector.Unboxed का उपयोग करें यदि आपको Double एस, Int एस आदि जैसे अधिक आदिम संख्यात्मक प्रकारों को पकड़ने की आवश्यकता है। शायद आप ColorUnbox का एक उदाहरण बना सकते हैं, लेकिन यह लगभग निश्चित रूप से the hassle के लायक नहीं है। आयात Data.Vector और आप तैयार हो जाएगा:

import qualified Data.Vector as V 

Color = Red | Blue deriving Show 

someColors :: V.Vector Color 
someColors = V.fromList [Red, Blue, Blue, Red] 

Answer 2

आप आप के लिए उदाहरण प्राप्त करने के लिए vector-th-unbox पैकेज का उपयोग कर सकते हैं। तुम बस करने के लिए और कुछ मौजूदा Unbox प्रकार से रूपांतरण कार्यों प्रदान करने की आवश्यकता:

colorToWord8 :: Color -> Word8 
colorToWord8 = ... 

word8ToColor :: Word8 -> Color 
word8ToColor = ... 

derivingUnbox "Color" 
    [t| Color -> Word8 |] 
    colorToWord8 
    word8ToColor