Safe Haskell | Safe-Inferred |
---|
- data RecursePredicateT f
- type RecursePredicate = RecursePredicateT Identity
- recursePredicateT :: (FilePath -> f Bool) -> RecursePredicateT f
- recursePredicate :: (FilePath -> Bool) -> RecursePredicate
- runRecursePredicateT :: RecursePredicateT f -> FilePath -> f Bool
- runRecursePredicate :: RecursePredicate -> FilePath -> Bool
- toFilterPredicate :: RecursePredicateT f -> FilterPredicateT f
Documentation
data RecursePredicateT f Source
A recurse predicate takes a FilePath
, which is a directory, and returns whether or not to continue recursing down on that directory.
type RecursePredicate = RecursePredicateT IdentitySource
A recurse predicate that does not require effects to compute its result.
recursePredicateT :: (FilePath -> f Bool) -> RecursePredicateT fSource
Construct a recurse predicate. The most general construction function.
recursePredicate :: (FilePath -> Bool) -> RecursePredicateSource
Construct a recurse predicate that does not require effects to compute its result.
runRecursePredicateT :: RecursePredicateT f -> FilePath -> f BoolSource
Extract the recurse predicate function.
runRecursePredicate :: RecursePredicate -> FilePath -> BoolSource
Extract the recurse predicate function that does not require effects to compute its result.
toFilterPredicate :: RecursePredicateT f -> FilterPredicateT fSource
Convert the recurse predicate to a filter predicate.