Control.FilterCategory

Description

A FilterCategory is a Category that supports mapMaybeC.

In Peakachu, both Program and Backend are instances of FilterCategory.

Documentation

class Category cat => FilterCategory cat where

Methods

flattenC :: cat [a] a

arrC :: (a -> b) -> cat a b

Instances

genericFlattenC :: (FilterCategory cat, Foldable f) => cat (f a) a

mapMaybeC :: FilterCategory cat => (a -> Maybe b) -> cat a b

filterC :: FilterCategory cat => (a -> Bool) -> cat a a

Produced by Haddock version 2.4.2