Language.Egison.MList

This module provides definition and utility functions for monadic list.

Documentation

data MList m a

Constructors

MNil

MCons a (m (MList m a))

Instances

Show a => Show (MList m a)

Defined in Language.Egison.MList

Methods

showsPrec :: Int -> MList m a -> ShowS

show :: MList m a -> String

showList :: [MList m a] -> ShowS

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

fromSeq :: Monad m => Seq a -> MList m a

fromMList :: Monad m => MList m a -> m [a]

msingleton :: Monad m => a -> MList m a

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

mappend :: Monad m => MList m a -> m (MList m a) -> m (MList m a)

mconcat :: Monad m => MList m (MList m a) -> m (MList m a)

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

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

mAny :: Monad m => (a -> m Bool) -> MList m a -> m Bool