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


-- | Monadic List alternative to lazy I/O
--   
--   Git repository is at: <a>http://github.com/Peaker/mlist</a>
--   
--   © 2009 by Eyal Lotem; BSD3 license.
@package mlist
@version 0.0.1

module Data.MList
newtype (Monad m) => MList m a
MList :: m (MListItem m a) -> MList m a
unMList :: MList m a -> m (MListItem m a)
data (Monad m) => MListItem m a
MNil :: MListItem m a
MCons :: a -> (MList m a) -> MListItem m a
empty :: (Monad m) => MList m a
cons :: (Monad m) => a -> MList m a -> MList m a
singleton :: (Monad m) => a -> MList m a
fromList :: (Monad m) => [a] -> MList m a
zipWith :: (Monad m) => (a -> b -> c) -> MList m a -> MList m b -> MList m c
mlistFold :: (Monad m) => (a -> b -> m b) -> m b -> MList m a -> m b
sfoldr :: (Monad m) => (a -> b -> b) -> b -> MList m a -> m b
mnSequence :: (Monad m, Monad n) => MList m (n a) -> m (n [a])
mnSequence_ :: (Monad m, Monad n) => MList m (n a) -> m (n ())
mnmapM :: (Monad m, Monad n) => (a -> n b) -> MList m a -> m (n [b])
mnmapM_ :: (Monad m, Monad n) => (a -> n b) -> MList m a -> m (n ())
mnforM :: (Monad m, Monad n) => MList m a -> (a -> n b) -> m (n [b])
mnforM_ :: (Monad m, Monad n) => MList m a -> (a -> n b) -> m (n ())
mSequence :: (Monad m) => MList m (m a) -> m [a]
mSequence_ :: (Monad m) => MList m (m a) -> m ()
mmapM :: (Monad m) => (a -> m b) -> MList m a -> m [b]
mmapM_ :: (Monad m) => (a -> m b) -> MList m a -> m ()
mforM :: (Monad m) => MList m a -> (a -> m b) -> m [b]
mforM_ :: (Monad m) => MList m a -> (a -> m b) -> m ()
extract :: (Monad m) => MList m a -> m [a]
concat :: (Monad m) => MList m (MList m a) -> MList m a
mmerge :: (Monad m) => m (MList m a) -> MList m a
numbers :: (Monad m) => MList m Integer
enumerate :: (Monad m) => MList m a -> MList m (Integer, a)
instance (Monad m) => Monad (MList m)
instance (Monad m) => Applicative (MList m)
instance (Monad m) => Functor (MList m)
instance (Monad m) => Monoid (MList m a)

module Data.MList.Control
while :: (Monad m) => m Bool -> m a -> MList m a

module Data.MList.IO
hGetLines :: Handle -> MList IO String