| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Backtrack
Description
Simple monad that allows _depth-first_ backtracking
instead of fair conjunction/disjunction behaviour
as in LogicT.
Documentation
data BacktrackT r m a Source
Instances
| MonadTrans (BacktrackT r) Source | |
| Monad (BacktrackT r m) Source | |
| Functor (BacktrackT r m) Source | |
| Applicative (BacktrackT r m) Source | |
| Alternative (BacktrackT r m) Source | |
| MonadPlus (BacktrackT r m) Source | |
| MonadIO m => MonadIO (BacktrackT r m) Source |
runBacktrackT :: BacktrackT r m a -> (String -> m r) -> (a -> m r) -> m r Source