A FilterCategory is a Category that supports mapMaybeC.
In Peakachu, both Program and Backend are instances of FilterCategory.
Documentation
class Category cat => FilterCategory cat whereSource
genericFlattenC :: (FilterCategory cat, Foldable f) => cat (f a) aSource
mapMaybeC :: FilterCategory cat => (a -> Maybe b) -> cat a bSource
filterC :: FilterCategory cat => (a -> Bool) -> cat a aSource