Làm cách nào để kết hợp CheckingFuelMonad với một đơn vị Tiểu bang trong Hoopl?

Question

Tôi đang sử dụng thư viện Hoopl và muốn thực hiện một số trạng thái xung quanh khi viết lại. Các hàm viết lại có tính đa hình liên quan đến đơn nguyên được sử dụng, nhưng tôi không thể tìm ra cách kết hợp một đơn nguyên State với một trong các monome Fuel của thư viện.

Dưới đây là ví dụ tối thiểu. MyMonad là một từ đồng nghĩa kết hợp số CheckingFuelMonad của Hoopl và một đơn vị State mang cờ. Stmt chỉ là một trình giữ chỗ cho ngôn ngữ trung gian của tôi và không thực sự quan trọng.

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

Nhưng điều này sẽ không biên dịch - GHC phàn nàn rằng rewrite có kiểu sai:

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

phải là những gì tôi muốn làm tốt? Làm cách nào để tôi có thể viết chính xác chức năng rewrite?

Answer 1

Duyệt qua mã hoopl tiết lộ rằng CheckingFuelMonad không phải là một phiên bản của MonadTrans, và bạn không thể làm cho nó một, vì các hàm tạo của nó không được xuất. Bạn có thể tuy nhiên quấn một StateT xung quanh CheckingFuelMonad, như vậy:

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

Vâng, nguyên nhân trực tiếp của lỗi hiện tại của bạn là đơn giản. Biểu thức cuối cùng là gì nếu f là đúng? Nếu chúng ta thực hiện việc này:

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 

... và loại bỏ tất cả mọi thứ nhưng chi nhánh True chúng tôi nhận được:

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

... mà đơn giản hoá để:

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

loại là gì return $ return $ Just emptyGraph?

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

Nói cách khác, bạn có thêm return trong đó. (Monad m) => CheckingFuelMonad m là chính nó là Monad, mặc dù CheckingFuelMonad dường như không được định nghĩa là một biến áp đơn lẻ, do đó bạn chỉ có một lớp đơn lẻ là return với.