Safe Haskell | Safe-Infered |
---|
- 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
- isDirectoryType :: Monad f => FilterPredicateT f
- isFileType :: Monad f => FilterPredicateT f
- isUnknownType :: Monad f => FilterPredicateT f
Documentation
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.
isDirectoryType :: Monad f => FilterPredicateT fSource
isFileType :: Monad f => FilterPredicateT fSource
isUnknownType :: Monad f => FilterPredicateT fSource