{- | Module : Antelude.Monad Description : Contains some functions for Monads, and reexports the Control.Monad module. Maintainer : dneavesdev@pm.me -} module Antelude.Monad ( module MonadExport , ($>) , (<<) ) where import safe Control.Monad as MonadExport import safe Data.Functor ( ($>) ) -- | Just a flipped version of '(>>)' (<<) :: (Monad m) => m b -> m a -> m b m b a << :: forall (m :: * -> *) b a. Monad m => m b -> m a -> m b << m a b = m a b m a -> m b -> m b forall a b. m a -> m b -> m b forall (m :: * -> *) a b. Monad m => m a -> m b -> m b >> m b a