haskell - ListT を使用してバックトラッキングと IO を取得するには?

Question

List トランスフォーマーをどのように使用すればよいか、私にはよくわかりませんListT。たとえば、この単純なタスクをどのように実行する必要がありますか:

backtrack :: ListT IO ()
backtrack = do
    x <- lift getLine
    a <- x
    lift $ print a

そして、関数の型は何であるべきですか?

ListTこれは私が達成しようとしているタスクではありません (他の多くの方法を使用してこの問題を解決する方法を知っています) 。そのようなタスクを達成するために使用する方法を知りたいだけです。

score 4 · Accepted Answer

score 3 · Accepted Answer

これはあなたがやろうとしていたことですか？

import Control.Monad.List

backtrack :: ListT IO ()
backtrack = do
    x <- ListT getLine
    lift $ print x

GHCi での実行例:

*Main> runListT backtrack
foo
'f'
'o'
'o'
[(), (), ()]

2 に答える 2