OAlg.Data.Filterable

Description

filtrations.

Synopsis

class Filterable (s :: Type -> Type) where
- filter :: (x -> Bool) -> s x -> s x

Documentation

class Filterable (s :: Type -> Type) where Source #

filtering.

Methods

filter :: (x -> Bool) -> s x -> s x Source #

Instances details

Filterable Set Source #
Instance details Defined in OAlg.Entity.Sequence.Set Methods filter :: (x -> Bool) -> Set x -> Set x Source #
Filterable [] Source #
Instance details Defined in OAlg.Data.Filterable Methods filter :: (x -> Bool) -> [x] -> [x] Source #
Filterable (Graph i) Source #
Instance details Defined in OAlg.Entity.Sequence.Graph Methods filter :: (x -> Bool) -> Graph i x -> Graph i x Source #