新しい関数 "parse :: String - > Stm"を書くためにParsecを使ってください

Question

私は新しい関数parse :: String - > Stmを書く必要があります。 Parsecはすでに解析関数を持っているので、parseが私のラッパー関数を返すように修飾されたparsecをインポートするはずです。 ラッパー関数は、入力文字列をParsecの解析関数に解析し、返されたモナドから結果をアンパックする必要があります。これは私のラッパー関数のコードです。 parseが呼び出されたときにラッパー関数を返す方法を確認します。

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