| Safe Haskell | Safe-Infered |
|---|
System.FilePath.FilePather.FilterPredicate
- data FilterPredicateT f
- type FilterPredicate = FilterPredicateT Identity
- filterPredicateT :: (FilePath -> FileType -> f Bool) -> FilterPredicateT f
- filterPredicate :: (FilePath -> FileType -> Bool) -> FilterPredicate
- filterPredicateT' :: (FilePath -> f Bool) -> FilterPredicateT f
- filterPredicate' :: (FilePath -> Bool) -> FilterPredicate
- runFilterPredicateT :: FilterPredicateT f -> FilePath -> FileType -> f Bool
- runFilterPredicate :: FilterPredicate -> FilePath -> FileType -> Bool
Documentation
data FilterPredicateT f Source
Instances
type FilterPredicate = FilterPredicateT IdentitySource
A filter predicate that does not require effects to compute its result.
filterPredicateT :: (FilePath -> FileType -> f Bool) -> FilterPredicateT fSource
A filter predicate takes a FilePath and a file type and returns whether or not to filter the value.
filterPredicate :: (FilePath -> FileType -> Bool) -> FilterPredicateSource
Construct a filter predicate that does not require effects to compute its result.
filterPredicateT' :: (FilePath -> f Bool) -> FilterPredicateT fSource
A filter predicate takes a FilePath and returns whether or not to filter the value.
filterPredicate' :: (FilePath -> Bool) -> FilterPredicateSource
Construct a filter predicate that does not require effects to compute its result.
runFilterPredicateT :: FilterPredicateT f -> FilePath -> FileType -> f BoolSource
Extract the filter predicate function.
runFilterPredicate :: FilterPredicate -> FilePath -> FileType -> BoolSource
Construct a filter predicate that does not require effects to compute its result.