mlist-0.0.2: 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

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

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

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

take :: (Integral i, Monad m) => i -> MList m a -> MList m aSource

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

replicate :: (Monad m, Integral i) => i -> a -> MList m aSource

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

mreplicate :: (Monad m, Integral i) => i -> m a -> MList m aSource

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

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

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

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

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

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

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

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

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

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

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

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