Control.Monad.Backtrack

Simple monad that allows _depth-first_ backtracking instead of fair conjunction/disjunction behaviour as in LogicT.

Documentation

data BacktrackT r m a

Instances

MonadTrans (BacktrackT r)

Monad (BacktrackT r m)

Functor (BacktrackT r m)

Applicative (BacktrackT r m)

Alternative (BacktrackT r m)

MonadPlus (BacktrackT r m)

MonadIO m => MonadIO (BacktrackT r m)

runBacktrackT :: BacktrackT r m a -> (String -> m r) -> (a -> m r) -> m r