mlist-0.0.1: Monadic List alternative to lazy I/O

Data.MList

Documentation

newtype Monad m => MList m a Source

Constructors

MList 

Fields

unMList :: m (MListItem m a)
 

Instances

Monad m => Monad (MList m) 
Monad m => Functor (MList m) 
Monad m => Applicative (MList m) 
Monad m => Monoid (MList m a) 

data Monad m => MListItem m a Source

Constructors

MNil 
MCons a (MList m a) 

empty :: Monad m => MList m aSource

cons :: Monad m => a -> MList m a -> MList m aSource

singleton :: Monad m => a -> MList m aSource

fromList :: Monad m => [a] -> MList m aSource

zipWith :: Monad m => (a -> b -> c) -> MList m a -> MList m b -> MList m cSource

mlistFold :: Monad m => (a -> b -> m b) -> m b -> MList m a -> m bSource

sfoldr :: Monad m => (a -> b -> b) -> b -> MList m a -> m bSource

mnSequence :: (Monad m, Monad n) => MList m (n a) -> m (n [a])Source

mnSequence_ :: (Monad m, Monad n) => MList m (n a) -> m (n ())Source

mnmapM :: (Monad m, Monad n) => (a -> n b) -> MList m a -> m (n [b])Source

mnmapM_ :: (Monad m, Monad n) => (a -> n b) -> MList m a -> m (n ())Source

mnforM :: (Monad m, Monad n) => MList m a -> (a -> n b) -> m (n [b])Source

mnforM_ :: (Monad m, Monad n) => MList m a -> (a -> n b) -> m (n ())Source

mSequence :: Monad m => MList m (m a) -> m [a]Source

mSequence_ :: Monad m => MList m (m a) -> m ()Source

mmapM :: Monad m => (a -> m b) -> MList m a -> m [b]Source

mmapM_ :: Monad m => (a -> m b) -> MList m a -> m ()Source

mforM :: Monad m => MList m a -> (a -> m b) -> m [b]Source

mforM_ :: Monad m => MList m a -> (a -> m b) -> m ()Source

extract :: Monad m => MList m a -> m [a]Source

concat :: Monad m => MList m (MList m a) -> MList m aSource

mmerge :: Monad m => m (MList m a) -> MList m aSource

numbers :: Monad m => MList m IntegerSource

enumerate :: Monad m => MList m a -> MList m (Integer, a)Source