Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
OptEnvConf.NonDet
Documentation
runNonDetT :: Monad m => NonDetT m a -> m [a] Source #
liftNonDetTList :: forall (m :: Type -> Type) a. Applicative m => [a] -> NonDetT m a Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
OptEnvConf.NonDet
runNonDetT :: Monad m => NonDetT m a -> m [a] Source #
liftNonDetTList :: forall (m :: Type -> Type) a. Applicative m => [a] -> NonDetT m a Source #