Data.List.InnToOut.Unsafe

Various additional operations on lists that have additional intermediate Monads inside. Like the unsafePerformIO function they can have unpredictable behaviour. Use them ONLY if you surely know what you are doing.

Unsafe (in general) operations that can lead to intermediate Monads.

unsafeMapI22M :: Monad m => (a -> Bool) -> (a -> b) -> (b -> d) -> (a -> m c) -> (m c -> d) -> [a] -> [d]

Unsafe function in which the second intermediate result c is in the Monad m. It appears if the predicate p :: a -> Bool is False on a. It can have unpredictable behaviour. Use it ONLY if you surely know what you are doing. It's your responsibility to check whether the code does what you expect.

unsafeMapI2M2 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> d) -> (a -> c) -> (c -> d) -> [a] -> [d]

Unsafe function in which the first intermediate result b is in the Monad m. It appears if the predicate p :: a -> Bool is True on a. It can have unpredictable behaviour. Use it ONLY if you surely know what you are doing. It's your responsibility to check whether the code does what you expect.

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

Unsafe function in which both the intermediate results b and c are in the Monads. They appear whenever the predicate p :: a -> Bool is True or False, but the first one is used if p a = True and the second one -- if p a = False. It can have unpredictable behaviour. Use it ONLY if you surely know what you are doing. It's your responsibility to check whether the code does what you expect.

unsafeMapI12M :: Monad m => (a -> Bool) -> (a -> c) -> (a -> m b) -> (m b -> c) -> [a] -> [c]

Unsafe function in which the second intermediate result b is in the Monad m. It appears if the predicate p :: a -> Bool is False on a. It can have unpredictable behaviour. Use it ONLY if you surely know what you are doing. It's your responsibility to check whether the code does what you expect.

unsafeMapI2M1 :: Monad m => (a -> Bool) -> (a -> m b) -> (m b -> c) -> (a -> c) -> [a] -> [c]

Unsafe function in which the first intermediate result b is in the Monad m. It appears if the predicate p :: a -> Bool is True on a. It can have unpredictable behaviour. Use it ONLY if you surely know what you are doing. It's your responsibility to check whether the code does what you expect.