| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
System.FilePath.Wrapper
- newtype FileT a = FileT a
- type File = FileT FilePath
- toFilePath :: FileT FilePath -> FilePath
- fromFilePath :: FilePath -> FileT FilePath
- class FileLike a where
- combine :: a -> String -> a
- takeDirectory :: a -> a
- takeBaseName :: a -> String
- takeFileName :: a -> String
- makeRelative :: a -> a -> a
- replaceExtension :: a -> String -> a
- takeExtension :: a -> String
- takeExtensions :: a -> String
- dropExtensions :: a -> a
- dropExtension :: a -> a
- (</>) :: FileLike a => a -> String -> a
- (.=) :: FileLike a => a -> String -> a
Documentation
Constructors
| FileT a |
Instances
| Monad m => RefOutput m File | |
| MonadAction a m => RefInput a m File | |
| MonadAction a m => RefInput a m (Set File) | |
| Monad m => RefOutput m (Set File) | |
| Monad m => RefOutput m [File] | |
| Eq a => Eq (FileT a) | |
| Data a => Data (FileT a) | |
| Ord a => Ord (FileT a) | |
| Show a => Show (FileT a) | |
| Monoid a => Monoid (FileT a) | |
| FileLike a => FileLike (FileT a) | |
| Typeable (* -> *) FileT |
toFilePath :: FileT FilePath -> FilePath Source
Convert File back to FilePath
fromFilePath :: FilePath -> FileT FilePath Source
Methods
combine :: a -> String -> a Source
takeDirectory :: a -> a Source
takeBaseName :: a -> String Source
takeFileName :: a -> String Source
makeRelative :: a -> a -> a Source
replaceExtension :: a -> String -> a Source
takeExtension :: a -> String Source
takeExtensions :: a -> String Source
dropExtensions :: a -> a Source
dropExtension :: a -> a Source