Data.List.InnToOut.Unsafe

Contents

Description

Various additional operations on lists that have additional intermediate Monads inside.

Synopsis

mapI22M :: Monad m => (a -> Bool) -> (a -> b) -> (b -> d) -> (a -> m c) -> (m c -> d) -> [a] -> [d]
mapI2M2 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> d) -> (a -> c) -> (c -> d) -> [a] -> [d]
mapI2M2M :: (Monad m0, Monad m) => (a -> Bool) -> (a -> m0 b) -> (m0 b -> d) -> (a -> m c) -> (m c -> d) -> [a] -> [d]
mapI12M :: Monad m => (a -> Bool) -> (a -> c) -> (a -> m b) -> (m b -> c) -> [a] -> [c]
mapI2M1 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> c) -> (a -> c) -> [a] -> [c]

Operations to obtain intermediate Monads. Like the `UnsafePerformIO` function they can have unpredictable behaviour. Use them ONLY if you surely know what you are doing.

mapI22M :: Monad m => (a -> Bool) -> (a -> b) -> (b -> d) -> (a -> m c) -> (m c -> d) -> [a] -> [d] Source #

Variant of the function mapI22 in which the second intermediate result c is in the Monad m.

mapI2M2 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> d) -> (a -> c) -> (c -> d) -> [a] -> [d] Source #

Variant of the function mapI22 in which the first intermediate result b is in the Monad m.

mapI2M2M :: (Monad m0, Monad m) => (a -> Bool) -> (a -> m0 b) -> (m0 b -> d) -> (a -> m c) -> (m c -> d) -> [a] -> [d] Source #

Variant of the function mapI22 in which both the intermediate results b and c are in the Monads.

mapI12M :: Monad m => (a -> Bool) -> (a -> c) -> (a -> m b) -> (m b -> c) -> [a] -> [c] Source #

Variant of the function mapI12 in which the second intermediate result b is in the Monad m.

mapI2M1 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> c) -> (a -> c) -> [a] -> [c] Source #

Variant of the function mapI21 in which the first intermediate result b is in the Monad m.

Operations to obtain intermediate Monads. Like the UnsafePerformIO function they can have unpredictable behaviour. Use them ONLY if you surely know what you are doing.