Stability | experimental |
---|---|

Safe Haskell | None |

Language | Haskell2010 |

# Documentation

class MonadPlus m => MonadSearch m where Source #

`MonadSearch`

represents searches with backtracking.

fromList :: [a] -> m a Source #

failure :: m a -> Bool Source #

failure :: m a -> Bool Source #

lnot :: DFS a -> m () Source #

lnot :: DFS a -> m () Source #

## Instances

MonadSearch BFS Source # | |

MonadSearch DFS Source # | |

DFS implementation of `MonadSearch`

.