使用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