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


-- | Anaphoric and miscellaneous useful control-flow
--   
--   Anaphoric and miscellaneous useful control-flow
@package IfElse
@version 0.82


-- | Library for control flow inside of monads with anaphoric variants on
--   if and when and a C-like "switch" function.
--   
--   Information:
--   
--   <ul>
--   <li><i><tt>Author</tt></i> Jeff Heard</li>
--   <li><i><tt>Copyright</tt></i> 2008 Jeff Heard</li>
--   <li><i><tt>License</tt></i> BSD</li>
--   <li><i><tt>Version</tt></i> 1.0</li>
--   <li><i><tt>Status</tt></i> Alpha</li>
--   </ul>
module Control.Monad.IfElse

-- | A if with no else for unit returning thunks. Returns the value of the
--   test.
whenM :: (Monad m) => m Bool -> m () -> m ()

-- | Like a switch statement, and less cluttered than if else if
--   
--   <pre>
--   cond [ (t1,a1), (t2,a2), ... ]
--   </pre>
cond :: (Monad m) => [(Bool, m ())] -> m ()

-- | Like a switch statement, and less cluttered than if else if
--   
--   <pre>
--   condM [ (t1,a1), (t2,a2), ... ]
--   </pre>
condM :: (Monad m) => [(m Bool, m ())] -> m ()

-- | Chainable anaphoric when. Takes a maybe value.
--   
--   if the value is Just x then execute <tt> action x </tt> , then return
--   <tt> True </tt> . otherwise return <tt> False </tt> .
awhen :: (Monad m) => Maybe a -> (a -> m ()) -> m ()

-- | Chainable anaphoric whenM.
awhenM :: (Monad m) => m (Maybe a) -> (a -> m ()) -> m ()

-- | Anaphoric when-else chain. Like a switch statement, but less cluttered
acond :: (Monad m) => [(Maybe a, a -> m ())] -> m ()

-- | Anaphoric if.
aif :: (Monad m) => Maybe a -> (a -> m b) -> m b -> m b

-- | Anaphoric if where the test is in Monad m.
aifM :: (Monad m) => m (Maybe a) -> (a -> m b) -> m b -> m b