ConstraintKinds-0.0.1: Repackages standard type classes with the ConstraintKinds extension

Safe HaskellNone

Control.ConstraintKinds.Filterable

Documentation

class Filterable f whereSource

Associated Types

type FilterableConstraint f x :: ConstraintSource

Methods

filter :: FilterableConstraint f a => (a -> Bool) -> f a -> f aSource

ifilter :: FilterableConstraint f a => (Int -> a -> Bool) -> f a -> f aSource

Instances