filtrable-0.1.0.1: Class of filtrable containers

Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Filtrable

Documentation

class Functor f => Filtrable f where Source

Minimal complete definition

mapMaybe | catMaybes

Methods

mapMaybe :: (a -> Maybe b) -> f a -> f b Source

catMaybes :: f (Maybe a) -> f a Source

filter :: (a -> Bool) -> f a -> f a Source

Instances

Filtrable []
Filtrable Maybe
Filtrable (Const a)
Filtrable (Proxy *)

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