Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
mapMaybeA :: (Filtrable f, Traversable f, Applicative p) => (a -> p (Maybe b)) -> f a -> p (f b) Source
filterA :: (Filtrable f, Traversable f, Applicative p) => (a -> p Bool) -> f a -> p (f a) Source