Language.Egison.MList

Description

This module provides definition and utility functions for monadic list.

Documentation

data MList (m :: Type -> Type) a Source #

Constructors

MNil
MCons a (m (MList m a))

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 :: forall (m :: Type -> Type) a. Monad m => [a] -> MList m a Source #

fromSeq :: forall (m :: Type -> Type) a. Monad m => Seq a -> MList m a Source #

msingleton :: forall (m :: Type -> Type) a. 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 #

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 #