-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A type safe file path data structure -- -- A type safe file path data structure @package data-filepath @version 1.0.0.0 module Data.FilePath data Path data From data FilePath (a :: From) (b :: Path) RootPath :: FilePath Root Directory RelativePath :: FilePath Relative Directory FilePath :: FilePath a Directory -> String -> FilePath a File DirectoryPath :: FilePath a Directory -> String -> FilePath a Directory rootPath :: FilePath Root Directory relativePath :: FilePath Relative Directory () :: FilePath a Directory -> FilePath Relative b -> FilePath a b mkDirPath :: String -> Maybe (FilePath Relative Directory) mkFilePath :: String -> Maybe (FilePath Relative File) mkFullFilePath :: String -> Maybe (FilePath Root File) showp :: FilePath a b -> String dirpathQ :: QuasiQuoter filepathQ :: QuasiQuoter instance Typeable (FilePath 'Root 'File) instance Typeable (FilePath 'Relative 'File) instance Typeable (FilePath 'Root 'Directory) instance Typeable (FilePath 'Relative 'Directory) instance Data (FilePath 'Root 'File) instance Data (FilePath 'Relative 'File) instance Data (FilePath 'Root 'Directory) instance Data (FilePath 'Relative 'Directory) instance Show (FilePath a b)