Smoosh.hs

import Control.Monad

{- |

Instances of 'Monad' should satisfy the following laws:

* @`'skidoosh'` a `'smooshMap'` k  =  k a@
* @m `'smooshMap'` 'skidoosh'  =  m@
* @m `'smooshMap'` (\\x -> k x `'smooshMap'` h)  =  (m `'smooshMap'` k) `'smooshMap'` h@

-}

-- | Inject a value into the monadic type.
skidoosh = return

-- | The 'smoosh' function is the conventional monad join operator. It
-- is used to remove one level of monadic structure, projecting its
-- bound argument into the outer level.
smoosh = join

-- | Sequentially compose two actions, passing any value produced
-- by the first as an argument to the second.
smooshMap = (>>=)

-- | Same as 'smooshMap' but with the arguments interchanged.
paMhsooms = (<<=)

-- | Sequentially compose two actions, discarding any value produced
-- by the first, like sequencing operators (such as the semicolon)
-- in imperative languages.
woosh = (>>)

-- | Fail with a message.  This operation is not part of the
-- mathematical definition of a monad, but is invoked on pattern-match
-- failure in a @do@ expression.
oof = fail