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


-- | strict versions of many things in base
--   
--   This package provides strict versions of many functions in base,
--   including some functions not present, such as <a>foldlMapA</a>,
--   <a>foldlMapM</a>, <a>foldrMapA</a>, and foldrMapM.
@package constrictor
@version 0.1.0.2


-- | This library provides strict versions of many functions in base, as
--   well as a few functions that do not have lazy versions that exist in
--   base (see the section on Folds).
module Control.Monad.Constrictor

-- | Strict version of <a>&lt;$&gt;</a>
(<$!>) :: Monad m => (a -> b) -> m a -> m b
infixl 4 <$!>
fmap' :: Monad m => (a -> b) -> m a -> m b
infixl 4 `fmap'`

-- | Strict version of <a>liftM</a>.
--   
--   Note this is equivalent to <a>&lt;$!&gt;</a>, and is provided for
--   convenience.
liftM' :: Monad m => (a -> b) -> m a -> m b

-- | Strict version of <a>liftM2</a>.
liftM2' :: Monad m => (a -> b -> c) -> m a -> m b -> m c

-- | Strict version of <a>liftM3</a>.
liftM3' :: Monad m => (a -> b -> c -> d) -> m a -> m b -> m c -> m d

-- | Strict version of <a>liftM4</a>.
liftM4' :: Monad m => (a -> b -> c -> d -> e) -> m a -> m b -> m c -> m d -> m e
infixl 4 `liftM4'`

-- | Strict version of <a>liftM5</a>.
liftM5' :: Monad m => (a -> b -> c -> d -> e -> f) -> m a -> m b -> m c -> m d -> m e -> m f

-- | Strict version of <a>ap</a>
ap' :: Monad m => m (a -> b) -> m a -> m b

-- | Strict version of <a>mapM</a>.
--   
--   This is just <a>traverse'</a> specialised to <a>Monad</a>.
mapM' :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)

-- | Strict version of <a>traverse</a>.
traverse' :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)

-- | Strict in the monoidal accumulator. For monads strict in the left
--   argument of bind, this will run in constant space. Monoidal
--   accumulation happens from left to right.
foldlMapM' :: forall t b a m. (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b
foldrMapM' :: forall t b a m. (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b

-- | Lazy in the monoidal accumulator. Monoidal accumulation happens from
--   left to right.
foldlMapA :: forall t b a f. (Foldable t, Monoid b, Applicative f) => (a -> f b) -> t a -> f b

-- | Lazy in the monoidal accumulator. Monoidal accumulation happens from
--   left to right.
foldrMapA :: forall t b a f. (Foldable t, Monoid b, Applicative f) => (a -> f b) -> t a -> f b

-- | A wrapped applicative functor.
newtype Ap f a
Ap :: f a -> Ap f a
[getAp] :: Ap f a -> f a
instance Data.Traversable.Traversable f => Data.Traversable.Traversable (Control.Monad.Constrictor.Ap f)
instance GHC.Show.Show (f a) => GHC.Show.Show (Control.Monad.Constrictor.Ap f a)
instance GHC.Read.Read (f a) => GHC.Read.Read (Control.Monad.Constrictor.Ap f a)
instance GHC.Classes.Ord (f a) => GHC.Classes.Ord (Control.Monad.Constrictor.Ap f a)
instance GHC.Num.Num (f a) => GHC.Num.Num (Control.Monad.Constrictor.Ap f a)
instance GHC.Base.MonadPlus f => GHC.Base.MonadPlus (Control.Monad.Constrictor.Ap f)
instance Control.Monad.Fix.MonadFix f => Control.Monad.Fix.MonadFix (Control.Monad.Constrictor.Ap f)
instance Control.Monad.Fail.MonadFail f => Control.Monad.Fail.MonadFail (Control.Monad.Constrictor.Ap f)
instance GHC.Base.Monad f => GHC.Base.Monad (Control.Monad.Constrictor.Ap f)
instance GHC.Generics.Generic1 (Control.Monad.Constrictor.Ap f)
instance GHC.Generics.Generic (Control.Monad.Constrictor.Ap f a)
instance GHC.Base.Functor f => GHC.Base.Functor (Control.Monad.Constrictor.Ap f)
instance Data.Foldable.Foldable f => Data.Foldable.Foldable (Control.Monad.Constrictor.Ap f)
instance GHC.Classes.Eq (f a) => GHC.Classes.Eq (Control.Monad.Constrictor.Ap f a)
instance GHC.Enum.Enum (f a) => GHC.Enum.Enum (Control.Monad.Constrictor.Ap f a)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Control.Monad.Constrictor.Ap f)
instance GHC.Base.Alternative f => GHC.Base.Alternative (Control.Monad.Constrictor.Ap f)
instance (GHC.Base.Applicative f, Data.Semigroup.Semigroup a) => Data.Semigroup.Semigroup (Control.Monad.Constrictor.Ap f a)
instance (GHC.Base.Applicative f, GHC.Base.Monoid a) => GHC.Base.Monoid (Control.Monad.Constrictor.Ap f a)