Documentation

type Choice f = ChoiceT f Identity Source #

runChoice :: (forall x. f x -> x) -> Choice f a -> a Source #

runChoiceM :: Monad m => (forall x. f x -> m x) -> Choice f a -> m a Source #

runBacktrackableChoiceM :: Monad m => (forall x. f x -> m (Maybe x)) -> Choice f a -> m (Maybe a) Source #