Hum.Orphans

Orphan instances

Filterable t => Filterable (GenericList n t)

There isn't one obvious implementation fo this, so it can't be upstreamed.

Methods

mapMaybe :: (a -> Maybe b) -> GenericList n t a -> GenericList n t b

catMaybes :: GenericList n t (Maybe a) -> GenericList n t a

filter :: (a -> Bool) -> GenericList n t a -> GenericList n t a

(Traversable t, Filterable t) => Witherable (GenericList n t)

Methods

wither :: Applicative f => (a -> f (Maybe b)) -> GenericList n t a -> f (GenericList n t b)

witherM :: Monad m => (a -> m (Maybe b)) -> GenericList n t a -> m (GenericList n t b)

filterA :: Applicative f => (a -> f Bool) -> GenericList n t a -> f (GenericList n t a)

witherMap :: Applicative m => (GenericList n t b -> r) -> (a -> m (Maybe b)) -> GenericList n t a -> m r