Jak mogę połączyć CheckingFuelMonad z Monadą Stanową w Hoopl?

Question

używam biblioteki Hoopl i chciałby mieć przy sobie stan się podczas przepisywania. Funkcje przepisujące są polimorficzne dotyczące monady używane, ale nie mogę dowiedzieć się, jak połączyć State monady z jednym z biblioteki Fuel monad.

Poniżej jest przykład minimalny. MyMonad jest synonimem łączącym monadę Hoopla z CheckingFuelMonad i State niosącą flagę. Stmt jest tylko symbolem zastępczym dla mojego języka pośredniego i nie jest tak naprawdę ważny.

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

Ale nie będzie to skompilować - GHC zarzuca rewrite ma niewłaściwy typ:

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

jest to, co chcę zrobić, to możliwe? Jak poprawnie napisać funkcję rewrite?

Answer 1

Przejrzyj kod hoopl ujawnia, że ​​CheckingFuelMonad nie jest instancją MonadTrans i nie może to jedno, ponieważ jego konstruktorzy nie są eksportowane. Ci może jednak zawinąć StateT wokół CheckingFuelMonad, tak:

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

dobrze, bezpośrednią przyczyną obecnego błędu jest prosta. Jakie jest końcowe wyrażenie, jeśli f jest prawdziwe? Jeżeli weźmiemy pod uwagę to:

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 

... i usuń wszystko oprócz True oddziału otrzymujemy:

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

... co upraszcza się do:

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

Jaki jest typ return $ return $ Just emptyGraph?

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

Innymi słowy, masz tam dodatkowy return. (Monad m) => CheckingFuelMonad m sama jest Monad, choć CheckingFuelMonad nie wydaje się być zdefiniowana jako transformator monady, więc masz tylko jedną warstwę monady do return z.