data-filter-0.1.0.0: Utilities for filtering

Index

<&&>Data.Filter
<||>Data.Filter
==>Data.Filter
=?=Data.Filter
all_Data.Filter
any_Data.Filter
constrNameData.Filter
ExactData.Filter
genericConstrNameData.Filter
HasConstructorData.Filter
InfiniteData.Filter
mapMaybeData.Filter
NegInfinData.Filter
PosInfinData.Filter
ReduceData.Filter
reduceData.Filter
ReduceWithData.Filter
reduceWithData.Filter