module System.FilePath.Internal where
import Prelude hiding (FilePath)
import qualified Data.ByteString as B
import qualified Data.ByteString.Char8 as B8
import Data.Data (Data)
import Data.Typeable (Typeable)
type Directory = B.ByteString
type Basename = B.ByteString
type Extension = B.ByteString
data Root
= RootPosix
| RootWindowsVolume Char
| RootWindowsCurrentVolume
deriving (Eq, Ord, Data, Typeable)
data FilePath = FilePath
{ pathRoot :: Maybe Root
, pathDirectories :: [Directory]
, pathBasename :: Maybe Basename
, pathExtensions :: [Extension]
}
deriving (Eq, Ord, Data, Typeable)
empty :: FilePath
empty = FilePath Nothing [] Nothing []
filenameBytes :: FilePath -> B.ByteString
filenameBytes p = B.append name ext where
name = maybe B.empty id (pathBasename p)
ext = case pathExtensions p of
[] -> B.empty
exts -> B.intercalate (B8.pack ".") (B.empty:exts)
data Rules = Rules
{ rulesName :: String
, toByteChunks :: FilePath -> [B.ByteString]
, fromBytes :: B.ByteString -> FilePath
, valid :: FilePath -> Bool
, splitSearchPath :: B.ByteString -> [FilePath]
}
instance Show Rules where
showsPrec d r = showParen (d > 10) $
showString "Rules " . shows (rulesName r)