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


-- | List transformer
--   
--   List transformer
@package ListT
@version 0.1.2.0

module Control.Monad.Trans.List
newtype ListT m a
ListT :: m (Maybe (a, ListT m a)) -> ListT m a
[runListT] :: ListT m a -> m (Maybe (a, ListT m a))
fromList :: (Foldable f, Applicative p) => f a -> ListT p a
toListM :: Monad m => ListT m a -> m [a]
toReverseListM :: Monad m => ListT m a -> m [a]
foldlM :: Monad m => (b -> a -> m b) -> b -> ListT m a -> m b
traverseM :: Monad m => (a -> m b) -> ListT m a -> ListT m b
consF :: Functor f => f a -> ListT f a -> ListT f a
unfoldrF :: Functor f => (b -> f (Maybe (a, b))) -> b -> ListT f a
splitAtM :: (Monad m, Integral n) => n -> ListT m a -> m ([a], ListT m a)
instance Data.Traversable.Traversable m => Data.Traversable.Traversable (Control.Monad.Trans.List.ListT m)
instance Data.Foldable.Foldable m => Data.Foldable.Foldable (Control.Monad.Trans.List.ListT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Control.Monad.Trans.List.ListT m)
instance Control.Monad.Trans.Class.MonadTrans Control.Monad.Trans.List.ListT
instance Data.Functor.Classes.Eq1 m => Data.Functor.Classes.Eq1 (Control.Monad.Trans.List.ListT m)
instance Data.Functor.Classes.Ord1 m => Data.Functor.Classes.Ord1 (Control.Monad.Trans.List.ListT m)
instance Data.Functor.Classes.Show1 m => Data.Functor.Classes.Show1 (Control.Monad.Trans.List.ListT m)
instance (GHC.Classes.Eq a, Data.Functor.Classes.Eq1 m) => GHC.Classes.Eq (Control.Monad.Trans.List.ListT m a)
instance (GHC.Classes.Ord a, Data.Functor.Classes.Ord1 m) => GHC.Classes.Ord (Control.Monad.Trans.List.ListT m a)
instance (GHC.Show.Show a, Data.Functor.Classes.Show1 m) => GHC.Show.Show (Control.Monad.Trans.List.ListT m a)
instance GHC.Base.Applicative p => GHC.Base.Applicative (Control.Monad.Trans.List.ListT p)
instance GHC.Base.Applicative p => GHC.Base.Alternative (Control.Monad.Trans.List.ListT p)
instance GHC.Base.Monad m => GHC.Base.Monad (Control.Monad.Trans.List.ListT m)
instance GHC.Base.Monad m => GHC.Base.MonadPlus (Control.Monad.Trans.List.ListT m)
instance Control.Monad.Fix.MonadFix m => Control.Monad.Fix.MonadFix (Control.Monad.Trans.List.ListT m)