使用Parsec編寫一個新函數「parse :: String - > Stm」

Question

我有一門課程，需要我編寫一個新的函數parse :: String - > Stm。 Parsec已經有一個解析函數，所以我應該導入合格的parsec，以便解析返回我的包裝函數。 包裝函數需要將輸入字符串解析爲Parsec的解析函數，並從返回的monad中解壓縮結果。這是我的包裝函數的代碼。 如何確保在調用解析時返回包裝函數。

parseString :: String -> Stm 
parseString str = 
    case parse procParser "" str of 
    Left e -> error $ show e 
    Right r -> r 

Answer 1

做什麼的指示說：

import qualified Text.Parsec 

parse :: String -> Stm 
parse str = 
    case Text.Parsec.parse procParser "" str of 
    Left e -> error $ show e 
    Right r -> r