Parsing 使用Parsec编写一个新函数"；解析：：字符串->；Stm“；

我有一门课程要求我写一个新函数parse:：String->Stm。Parsec已经有了一个parse函数，所以我应该导入限定的Parsec，以便parse返回我的包装函数。 包装器函数需要将输入字符串解析为Parsec的parse函数，并从返回的monad中解包结果。这是我的包装器函数的代码。 如何确保在调用parse时，它返回我的包装函数

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

---

严格按照说明执行：

import qualified Text.Parsec

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

---

你能澄清一下“何时调用parse”是什么意思吗？