खाका हास्केल प्रकार के हवाले से समस्याओं

Question

TemplateHaskell तरह से एक प्रकार का नाम पाने के लिए के रूप में दस्तावेजों दो उद्धरण ('') के हवाले से:

> ''String 
GHC.Base.String 

यह इस प्रकार के (नाम) के लिए ठीक काम करता है। हालांकि, मुझे इसे अच्छा काम करने के लिए कोई रास्ता नहीं मिल रहा है उदा। Maybe String:

> ''Maybe String -- interprets String as a data constructor 
> ''Maybe ''String -- wants to apply ''String to the Name type 

मैं जानता हूँ कि मैं [t| Maybe String |] का उपयोग कर के माध्यम से वैकल्पिक हल कर सकते हैं, लेकिन यह क्यू इकाई में तो है, और परिवर्तन टाइप आवश्यकता है, और मुझे लगता है कि संबंधित पल में टाइप-चेक नहीं किया गया, केवल जब में spliced।

मैं पहले एक प्रकार के उपनाम, type MaybeString = Maybe String को परिभाषित करके और फिर ''MaybeString का उपयोग करके चारों ओर काम कर सकता हूं, लेकिन यह भी बोझिल है।

सीधे '' उद्धरण के माध्यम से जो कुछ मैं चाहता हूं उसे सीधे प्राप्त करने का कोई तरीका?

Answer 1

''नाम नाम देने के लिए उपयोग नहीं किया जाता है, प्रकार नहीं। Maybe एक नाम है, Maybe String नहीं है। इसलिए यह आश्चर्य की बात नहीं है कि आप उस नाम को उद्धृत करने से पहले, एक प्रकार के उपनाम को परिभाषित करके अपना प्रकार का नाम देना होगा।

[t| |] दूसरी ओर, प्रकार उद्धरण उद्धरण। यहां अंतर देखें।

Prelude> :t ''String 
''String :: Language.Haskell.TH.Syntax.Name 
Prelude> :t [t| String |] 
[t| String |] 
    :: Language.Haskell.TH.Syntax.Q Language.Haskell.TH.Syntax.Type 

तो मुझे डर है कि तुम तुम क्या करने की कोशिश कर रहे क्या '' का उपयोग नहीं कर सकते हैं।

Answer 2

मुझे लगता है कि आप के लिए देख रहे हैं:

ConT ''Maybe `AppT` ConT ''String