Safe Haskell | Safe-Infered |
---|

- class FilePathPredicate f where
- always :: Monad g => f g
- never :: Monad g => f g
- (.&&.) :: Monad g => f g -> f g -> f g
- (.||.) :: Monad g => f g -> f g -> f g
- (.!.) :: Monad g => f g -> f g
- anyof :: (Foldable t, Monad g) => t (f g) -> f g
- allof :: (Foldable t, Monad g) => t (f g) -> f g
- extension :: Monad g => (FilePath -> Bool) -> f g
- extensionEq :: Monad g => FilePath -> f g
- extensionOneof :: (Foldable t, Monad g) => t FilePath -> f g
- extensionNoneof :: (Foldable t, Monad g) => t FilePath -> f g
- directory :: Monad g => (FilePath -> Bool) -> f g
- hasExtension :: Monad g => f g
- notHasExtension :: Monad g => f g
- splitExtension :: Monad g => (String -> String -> Bool) -> f g
- splitDirectories :: Monad g => ([FilePath] -> Bool) -> f g
- hasTrailingPathSeparator :: Monad g => f g
- notHasTrailingPathSeparator :: Monad g => f g
- fileName :: Monad g => (FilePath -> Bool) -> f g
- baseName :: Monad g => (FilePath -> Bool) -> f g
- normalise :: Monad g => (FilePath -> Bool) -> f g
- makeValid :: Monad g => (FilePath -> Bool) -> f g
- isRelative :: Monad g => f g
- isNotRelative :: Monad g => f g
- isAbsolute :: Monad g => f g
- isNotAbsolute :: Monad g => f g
- isValid :: Monad g => f g
- isNotValid :: Monad g => f g

# Documentation

class FilePathPredicate f whereSource

Functions that are common to predicates that work on `FilePath`

values.

always :: Monad g => f gSource

A predicate that always succeeds.

A predicate that always fails.

(.&&.) :: Monad g => f g -> f g -> f gSource

Return a predicate that succeeds only if the two given predicates succeed.

(.||.) :: Monad g => f g -> f g -> f gSource

Return a predicate that succeeds if any of the two given predicates succeed.

(.!.) :: Monad g => f g -> f gSource

Negates the given predicate.

anyof :: (Foldable t, Monad g) => t (f g) -> f gSource

Folds the predicates on disjunction.

allof :: (Foldable t, Monad g) => t (f g) -> f gSource

extension :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on a file name extension.

extensionEq :: Monad g => FilePath -> f gSource

A predicate that computes its result based on equivalence to a file name extension. This function matches with and without the preceding extension separator (.).

extensionOneof :: (Foldable t, Monad g) => t FilePath -> f gSource

A predicate that computes its result based on equivalence to one of a list of file name extensions.

extensionNoneof :: (Foldable t, Monad g) => t FilePath -> f gSource

A predicate that computes its result based on inequivalence to any of a list of file name extensions.

directory :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on a directory.

hasExtension :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

has an extension.

notHasExtension :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

does not have an extension.

splitExtension :: Monad g => (String -> String -> Bool) -> f gSource

A predicate that computes its result based on the splitting of a name and extension.

splitDirectories :: Monad g => ([FilePath] -> Bool) -> f gSource

A predicate that computes its result based on the splitting of a name into directories.

hasTrailingPathSeparator :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

has a trailing path separator.

notHasTrailingPathSeparator :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

does not have a trailing path separator.

fileName :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on the file name.

baseName :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on the base name.

normalise :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on the normalised file name.

makeValid :: Monad g => (FilePath -> Bool) -> f gSource

A predicate that computes its result based on the file name having been made valid.

isRelative :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is relative.

isNotRelative :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is not relative.

isAbsolute :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is absolute.

isNotAbsolute :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is not absolute.

isValid :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is valid.

isNotValid :: Monad g => f gSource

A predicate that succeeds if its `FilePath`

is not valid.