Control.Monad.Choice.Covariant

Documentation

type Choice f = ChoiceT f Identity

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

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

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