Documentation

runNonDet :: NonDet a -> [a] Source #

runNonDetT :: Monad m => NonDetT m a -> m [a] Source #

runNonDetTLazy :: Monad m => NonDetT m a -> m (Maybe (a, NonDetT m a)) Source #

liftNonDetTList :: forall (m :: Type -> Type) a. Applicative m => [a] -> NonDetT m a Source #

type NonDetT = ListT Source #