मैं होउप्ल में एक राज्य मोनड के साथ चेकिंगफ्यूलमोनाड को कैसे जोड़ सकता हूं?

Question

मैं Hoopl लाइब्रेरी का उपयोग कर रहा हूं और फिर से लिखने के दौरान कुछ राज्य ले जाना चाहता हूं। पुनर्लेखन कार्य मोनैड के इस्तेमाल के बारे में पॉलिमॉर्फिक हैं, लेकिन मैं यह नहीं समझ सकता कि लाइब्रेरी के Fuel मोनैड में से एक के साथ State मोनैड को कैसे जोड़ा जाए।

नीचे एक न्यूनतम उदाहरण है। MyMonad एक समानार्थी है जो होप्ल के CheckingFuelMonad और State मोनैड को ध्वज लेते हुए समानार्थी है। Stmt मेरी मध्यवर्ती भाषा के लिए सिर्फ प्लेसहोल्डर है और वास्तव में महत्वपूर्ण नहीं है।

{-# LANGUAGE GADTs, RankNTypes #-} 

import Compiler.Hoopl 
import Control.Monad.State 

type MyMonad = CheckingFuelMonad (State Bool) 

data Stmt e x where 
    Bind ::() -> Stmt O O 

rewriter :: forall e x. Stmt e x -> Fact x() -> MyMonad (Maybe (Graph Stmt e x)) 
rewriter (Bind())() = return $ do 
    f <- get 
    if f 
    then return $ Just emptyGraph 
    else return Nothing 

लेकिन इस संकलन नहीं होगा - GHC शिकायत rewrite गलत प्रकार है:

Couldn't match expected type `Graph' Block Stmt e x' 
     against inferred type `Maybe (g n O O)' 
    Expected type: CheckingFuelMonad 
        (State Bool) (Maybe (Graph Stmt e x)) 
    Inferred type: CheckingFuelMonad 
        (State Bool) (Maybe (Maybe (g n O O))) 

मैं क्या संभव करना चाहता हूँ है? मैं rewrite फ़ंक्शन को सही तरीके से कैसे लिख सकता हूं?

Answer 1

हुप्पल कोड के माध्यम से एक ब्राउज़ से पता चलता है कि चेकिंगफ्यूलमोनाड मोनाडट्रान का उदाहरण नहीं है, और आप इसे एक नहीं बना सकते हैं, क्योंकि इसके निर्माता निर्यात नहीं किए जाते हैं। आप तथापि कर सकते हैं CheckingFuelMonad के चारों ओर एक StateT लपेट, इसलिए जैसे:

{-# LANGUAGE GADTs, RankNTypes #-} 

import Compiler.Hoopl 
import Control.Monad.State 

type MyMonad = StateT Bool SimpleFuelMonad 

data Stmt e x where 
    Bind ::() -> Stmt O O 

rewriter :: forall e x. Stmt e x -> Fact x() -> MyMonad (Maybe (Graph Stmt e x)) 
rewriter (Bind())() = do 
    f <- get 
    if f 
    then return $ Just emptyGraph 
    else return Nothing 

Answer 2

खैर, अपने वर्तमान त्रुटि के तत्काल कारण सरल है। अंतिम अभिव्यक्ति क्या है यदि f सत्य है? अगर हम इस ले:

rewriter :: forall e x. Stmt e x -> Fact x() -> MyMonad (Maybe (Graph Stmt e x)) 
rewriter (Bind())() = return $ do 
    f <- get 
    if f 
    then return $ Just emptyGraph 
    else return Nothing 

... और सब कुछ लेकिन True शाखा को दूर हम पाते हैं:

rewriter :: forall e x. Stmt e x -> Fact x() -> MyMonad (Maybe (Graph Stmt e x)) 
rewriter (Bind())() = return $ do 
    return $ Just emptyGraph 

... जो करने के लिए सरल:

rewriter :: forall e x. Stmt e x -> Fact x() -> MyMonad (Maybe (Graph Stmt e x)) 
rewriter (Bind())() = return $ return $ Just emptyGraph 

के प्रकार क्या है return $ return $ Just emptyGraph?

(Monad m1, Monad m2, GraphRep g) => m1 (m2 (Maybe (g n O O))) 

दूसरे शब्दों में, आपके पास अतिरिक्त return है। (Monad m) => CheckingFuelMonad m स्वयं Monad है, भले ही CheckingFuelMonad को एक मोनड ट्रांसफॉर्मर के रूप में परिभाषित नहीं किया गया है, इसलिए आपको केवल एक मोनैड परत return पर मिली है।