-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Haskell98 partial maps and filters over MonadPlus.
--   
--   Filtering and folding over arbitrary <a>MonadPlus</a> instances. This
--   package generalizes many common stream operations such as
--   <a>filter</a>, <a>catMaybes</a> etc.
@package monadplus
@version 1.3


-- | Partial maps and filters over <a>MonadPlus</a> instances.
--   
--   This is especially useful for sequential structures such as event
--   lists, tracks etc.
--   
--   Inspired by the Conal Elliott's blog post:
--   
--   <ul>
--   <li><a>http://conal.net/blog/posts/a-handy-generalized-filter</a></li>
--   </ul>
module Control.Monad.Plus

-- | This generalizes the list-based <a>concat</a> function.
msum :: MonadPlus m => [m a] -> m a

-- | This generalizes the list-based <a>concat</a> function.
msum' :: (MonadPlus m, Foldable t) => t (m a) -> m a

-- | Fold a value into an arbitrary <a>MonadPlus</a> type.
--   
--   This function generalizes the <a>toList</a> function.
mfold :: (MonadPlus m, Foldable t) => t a -> m a

-- | Translate a list to an arbitrary <a>MonadPlus</a> type.
--   
--   This function generalizes the <a>listToMaybe</a> function.
mfromList :: MonadPlus m => [a] -> m a

-- | Translate maybe to an arbitrary <a>MonadPlus</a> type.
--   
--   This function generalizes the <a>maybeToList</a> function.
mfromMaybe :: MonadPlus m => Maybe a -> m a

-- | <a>mfilter'</a>, applied to a predicate and a container, returns the
--   container of those elements that satisfy the predicate; i.e.,
--   
--   <pre>
--   filter p xs = [ x | x &lt;- xs, p x]
--   </pre>
--   
--   This function generalizes the <a>filter</a> function. (Identical to
--   <a>mfilter</a>, it is just here for documentation purposes).
mfilter' :: MonadPlus m => (a -> Bool) -> m a -> m a

-- | The <a>partition</a> function takes a predicate a list and returns the
--   pair of lists of elements which do and do not satisfy the predicate,
--   respectively; i.e.,
--   
--   <pre>
--   partition p xs == (filter p xs, filter (not . p) xs)
--   </pre>
--   
--   This function generalizes the <a>partition</a> function.
mpartition :: MonadPlus m => (a -> Bool) -> m a -> (m a, m a)

-- | Pass through <tt>Just</tt> occurrences.
--   
--   This function generalizes the <a>catMaybes</a> function.
mscatter :: MonadPlus m => m [b] -> m b

-- | Pass through <tt>Just</tt> occurrences.
--   
--   This function generalizes the <a>catMaybes</a> function.
mscatter' :: (MonadPlus m, Foldable t) => m (t b) -> m b

-- | Pass through <tt>Just</tt> occurrences.
--   
--   This function generalizes the <a>catMaybes</a> function.
mcatMaybes :: MonadPlus m => m (Maybe a) -> m a

-- | Pass through <tt>Left</tt> occurrences.
--   
--   This function generalizes the <a>lefts</a> function.
mlefts :: MonadPlus m => m (Either a b) -> m a

-- | Pass through <tt>Right</tt> occurrences.
--   
--   This function generalizes the <a>rights</a> function.
mrights :: MonadPlus m => m (Either a b) -> m b

-- | Separate <tt>Left</tt> and <tt>Right</tt> occurances.
--   
--   This function generalizes the <a>partitionEithers</a> function.
mpartitionEithers :: MonadPlus m => m (Either a b) -> (m a, m b)

-- | Modify or discard a value.
--   
--   This function generalizes the <a>mapMaybe</a> function.
mmapMaybe :: MonadPlus m => (a -> Maybe b) -> m a -> m b

-- | Modify and return a number of values.
--   
--   This function generalizes the <a>concatMap</a> function.
mconcatMap :: MonadPlus m => (a -> [b]) -> m a -> m b


-- | Partial maps and filters over <a>Alternative</a> instances.
--   
--   This is considerably weaker than <tt>MonadPlus</tt>, as we have no
--   possibility of removing intermediate structure, as in
--   <tt>mcatMaybes</tt>.
module Control.Applicative.Alternative

-- | The sum of a collection of actions, generalizing <a>concat</a>.
asum :: (Foldable t, Alternative f) => t (f a) -> f a

-- | This generalizes the list-based <a>concat</a> function.
asum' :: (Alternative f, Foldable t) => t (f a) -> f a

-- | Fold a value into an arbitrary <tt>MonadPlus</tt> type.
--   
--   This function generalizes the <a>toList</a> function.
afold :: (Alternative f, Foldable t) => t a -> f a

-- | This function generalizes the <tt>listToMaybe</tt> function.
afromList :: Alternative f => [a] -> f a

-- | Translate maybe to an arbitrary <a>Alternative</a> type.
--   
--   This function generalizes the <tt>maybeToList</tt> function.
afromMaybe :: Alternative f => Maybe a -> f a