egison-4.1.3: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Egison.MList

Description

This module provides definition and utility functions for monadic list.

Documentation

data MList m a Source #

Constructors

MNil 
MCons a (m (MList m a)) 

Instances

Instances details
Show a => Show (MList m a) Source # 
Instance details

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 Source #

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

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

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

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

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

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

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

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

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