module Data.List.InnToOut.Basic
(
mapI
, mapI2
) where
mapI :: (a -> Bool) -> (a -> [a]) -> [a] -> [a]
mapI :: (a -> Bool) -> (a -> [a]) -> [a] -> [a]
mapI a -> Bool
p a -> [a]
f = (a -> [a]) -> [a] -> [a]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (\a
x -> if a -> Bool
p a
x then a -> [a]
f a
x else [a
x])
{-# INLINABLE mapI #-}
mapI2 :: (a -> Bool) -> (a -> b) -> (a -> [b]) -> [a] -> [b]
mapI2 :: (a -> Bool) -> (a -> b) -> (a -> [b]) -> [a] -> [b]
mapI2 a -> Bool
p a -> b
f a -> [b]
g = (a -> [b]) -> [a] -> [b]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap (\a
x -> if a -> Bool
p a
x then [a -> b
f a
x] else a -> [b]
g a
x)
{-# INLINABLE mapI2 #-}