Control.Monad.AStar.Class

Documentation

class MonadAStar w r m | m -> r, m -> w where

A class which represents the ability to do A* search.

Methods

branch :: m a -> m a -> m a

Branch the search

updateCost :: w -> m ()

Update the cost estimate of the current branch and re-evaluate available branches, switching to a cheaper one when appropriate.

done :: r -> m a

Return a solution and short-circuit any remaining branches.

Instances

(Ord w, Monad m) => MonadAStar w r (AStarT s w r m)

Defined in Control.Monad.AStar

Methods

branch :: AStarT s w r m a -> AStarT s w r m a -> AStarT s w r m a

updateCost :: w -> AStarT s w r m ()

done :: r -> AStarT s w r m a