Hum.Orphans

Contents

Description

Orphan instances

Filterable t => Filterable (GenericList n t) Source #	There isn't one obvious implementation fo this, so it can't be upstreamed.
Instance details 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) Source #
Instance details 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 #