如何解决如何使用ListT获得回溯和IO?
| 我真的不知道列表转换器ListT
应该如何使用。例如,如何完成此简单任务:
backtrack :: ListT IO ()
backtrack = do
x <- lift getLine
a <- x
lift $ print a
函数的类型应该是什么?
这不是我要完成的任务(我知道如何使用许多其他方法来解决此问题),我只想知道如何使用ѭ0来完成这些任务。
解决方法
这是您想要做的吗?
import Control.Monad.List
backtrack :: ListT IO ()
backtrack = do
x <- ListT getLine
lift $ print x
在GHCi中运行的示例:
*Main> runListT backtrack
foo
\'f\'
\'o\'
\'o\'
[(),(),()]
, 您应该查看正确完成的ListT和回溯的LogicT软件包。尤其是逻辑上的交错处理可以更好地处理无限性。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。