Props.Internal.Backtracking

Documentation

newtype Backtrack a

Constructors

Backtrack (StateT BState (RandT StdGen Logic) a)

Instances

Monad Backtrack

Defined in Props.Internal.Backtracking

Methods

(>>=) :: Backtrack a -> (a -> Backtrack b) -> Backtrack b

(>>) :: Backtrack a -> Backtrack b -> Backtrack b

return :: a -> Backtrack a

fail :: String -> Backtrack a

Functor Backtrack

Defined in Props.Internal.Backtracking

Methods

fmap :: (a -> b) -> Backtrack a -> Backtrack b

(<$) :: a -> Backtrack b -> Backtrack a

Applicative Backtrack

Defined in Props.Internal.Backtracking

Methods

pure :: a -> Backtrack a

(<*>) :: Backtrack (a -> b) -> Backtrack a -> Backtrack b

liftA2 :: (a -> b -> c) -> Backtrack a -> Backtrack b -> Backtrack c

(*>) :: Backtrack a -> Backtrack b -> Backtrack b

(<*) :: Backtrack a -> Backtrack b -> Backtrack a

MonadRandom Backtrack

Defined in Props.Internal.Backtracking

Methods

getRandomR :: Random a => (a, a) -> Backtrack a

getRandom :: Random a => Backtrack a

getRandomRs :: Random a => (a, a) -> Backtrack [a]

getRandoms :: Random a => Backtrack [a]

Alternative Backtrack

Defined in Props.Internal.Backtracking

Methods

empty :: Backtrack a

(<|>) :: Backtrack a -> Backtrack a -> Backtrack a

some :: Backtrack a -> Backtrack [a]

many :: Backtrack a -> Backtrack [a]

MonadState BState Backtrack

Defined in Props.Internal.Backtracking

Methods

get :: Backtrack BState

put :: BState -> Backtrack ()

state :: (BState -> (a, BState)) -> Backtrack a

data BState

Constructors

BState

Fields

• _bsMinTracker :: MinTracker
• _graph :: Graph

Instances

HasMinTracker BState

Defined in Props.Internal.Backtracking

Methods

minTracker :: Lens' BState MinTracker

minQueue :: Lens' BState (IntPSQ Int ())

MonadState BState Backtrack

Defined in Props.Internal.Backtracking

Methods

get :: Backtrack BState

put :: BState -> Backtrack ()

state :: (BState -> (a, BState)) -> Backtrack a

graph :: Lens' BState Graph

bsMinTracker :: Lens' BState MinTracker

rselect :: Foldable f => f a -> Backtrack a

select :: Foldable f => f a -> Backtrack a

runBacktrack :: MinTracker -> Graph -> Backtrack a -> Maybe (a, Graph)

runBacktrackAll :: MinTracker -> Graph -> Backtrack a -> [(a, Graph)]