CheckingFuelMonad'ı Hoopl'da bir devlet monadıyla nasıl birleştirebilirim?

Question

Hoopl kitaplığını kullanıyorum ve yeniden yazarken bazı durumları taşımak istiyorum. Yeniden yazma işlevleri kullanılan monad ile ilgili polimorfiktir, ancak bir State monadını kütüphanenin Fuel monad'larından biriyle nasıl birleştireceğimi anlayamıyorum.

Aşağıda minimal bir örnek verilmiştir. MyMonad, Hoopl'un CheckingFuelMonad ve bir bayrağı taşıyan bir State monadını bir araya getiren bir eşanlamlıdır. Stmt aramam için bir yer tutucudur ve gerçekten önemli değildir.

{-# 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 

Ama bu derlemek olmaz - GHC rewrite yanlış türe sahip yakınıyor:

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))) 

Mümkün yapmak istediğim şey var mı? rewrite işlevini nasıl doğru yazabilirim?

Answer 1

Hoopl koduna göz atma, CheckingFuelMonad'ın MonadTrans'ın bir örneği olmadığını ve yapıcıların dışa aktarılmadığı için bunu yapamazsınız. Sen ancak şöyle, CheckingFuelMonad etrafında bir Durumluk sarabilirsiniz:

{-# 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

Peki, mevcut hatanın derhal nedeni basittir. f doğruysa son ifade nedir? Eğer buna:

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 

... ve True dalı ama her şeyi kaldırın elde ederiz:

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

... için basitleştiren:

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

tipi nedir return $ return $ Just emptyGraph?

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

Başka bir deyişle, orada fazladan bir return var. (Monad m) => CheckingFuelMonad m, CheckingFuelMonad'un bir monad trafosu olarak tanımlanmasa bile, Monad'un kendisi olduğu için, return ile yalnızca bir monad katmanınız vardır.