System.FilePath.Wrapper

Documentation

data FileT h a

Constructors

FileT h a

Instances

EmbedDecl File

Methods

embed :: MonadMake m => File -> UrpGen m ()

SrcDecl File

Methods

src :: MonadMake m => File -> UrpGen m ()

LinkDecl File

Methods

link :: MonadMake m => File -> UrpGen m ()

ModuleDecl File

Methods

ur :: Monad m => File -> UrpGen m ()

Monad m => RefOutput m File

Methods

refOutput :: File -> A' m Command

Monad m => LibraryDecl m File

Methods

library :: File -> UrpGen m ()

RefOutput m File => RefOutput m (m File)

Methods

refOutput :: m File -> A' m Command

Monad m => RefOutput m (Set File)

Methods

refOutput :: Set File -> A' m Command

Monad m => RefOutput m [File]

Methods

refOutput :: [File] -> A' m Command

Monad m => LibraryDecl m (m File)

Methods

library :: m File -> UrpGen m ()

Monad m => LibraryDecl m [File]

Methods

library :: [File] -> UrpGen m ()

(Monad m, FileLike (FileT h a)) => FileLike (m (FileT h a))

Methods

combine :: m (FileT h a) -> String -> m (FileT h a)

takeDirectory :: m (FileT h a) -> m (FileT h a)

takeBaseName :: m (FileT h a) -> String

takeFileName :: m (FileT h a) -> String

makeRelative :: m (FileT h a) -> m (FileT h a) -> m (FileT h a)

replaceExtension :: m (FileT h a) -> String -> m (FileT h a)

takeExtension :: m (FileT h a) -> String

takeExtensions :: m (FileT h a) -> String

dropExtensions :: m (FileT h a) -> m (FileT h a)

dropExtension :: m (FileT h a) -> m (FileT h a)

splitDirectories :: m (FileT h a) -> [String]

Monad m => RefInput (A' m) File

Methods

refInput :: File -> A' m Command

Monad m => RefInput (UrpGen m) File

Methods

refInput :: File -> UrpGen m Command

(Eq a, Eq h) => Eq (FileT h a)

Methods

(==) :: FileT h a -> FileT h a -> Bool

(/=) :: FileT h a -> FileT h a -> Bool

(Data a, Data h) => Data (FileT h a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileT h a -> c (FileT h a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FileT h a)

toConstr :: FileT h a -> Constr

dataTypeOf :: FileT h a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (FileT h a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FileT h a))

gmapT :: (forall b. Data b => b -> b) -> FileT h a -> FileT h a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileT h a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileT h a -> r

gmapQ :: (forall d. Data d => d -> u) -> FileT h a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FileT h a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FileT h a -> m (FileT h a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FileT h a -> m (FileT h a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FileT h a -> m (FileT h a)

(Ord a, Ord h) => Ord (FileT h a)

Methods

compare :: FileT h a -> FileT h a -> Ordering

(<) :: FileT h a -> FileT h a -> Bool

(<=) :: FileT h a -> FileT h a -> Bool

(>) :: FileT h a -> FileT h a -> Bool

(>=) :: FileT h a -> FileT h a -> Bool

max :: FileT h a -> FileT h a -> FileT h a

min :: FileT h a -> FileT h a -> FileT h a

(Show a, Show h) => Show (FileT h a)

Methods

showsPrec :: Int -> FileT h a -> ShowS

show :: FileT h a -> String

showList :: [FileT h a] -> ShowS

(Eq h, Show h, FileLike a) => FileLike (FileT h a)

Methods

combine :: FileT h a -> String -> FileT h a

takeDirectory :: FileT h a -> FileT h a

takeBaseName :: FileT h a -> String

takeFileName :: FileT h a -> String

makeRelative :: FileT h a -> FileT h a -> FileT h a

replaceExtension :: FileT h a -> String -> FileT h a

takeExtension :: FileT h a -> String

takeExtensions :: FileT h a -> String

dropExtensions :: FileT h a -> FileT h a

dropExtension :: FileT h a -> FileT h a

splitDirectories :: FileT h a -> [String]

LinkDecl (File, String)

Methods

link :: MonadMake m => (File, String) -> UrpGen m ()

ModuleDecl (File, File)

Methods

ur :: Monad m => (File, File) -> UrpGen m ()

SrcDecl (File, String, String)

Methods

src :: MonadMake m => (File, String, String) -> UrpGen m ()

fromFilePath :: h -> FilePath -> FileT h FilePath

Convert File back to FilePath toFilePath :: (FileT h FilePath) -> FilePath toFilePath (FileT _ f) = f

class FileLike a where

Minimal complete definition

combine, takeDirectory, takeBaseName, takeFileName, makeRelative, replaceExtension, takeExtension, takeExtensions, dropExtensions, dropExtension, splitDirectories

Methods

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

splitDirectories :: a -> [String]

Instances

FileLike FilePath

Methods

combine :: FilePath -> String -> FilePath

takeDirectory :: FilePath -> FilePath

takeBaseName :: FilePath -> String

takeFileName :: FilePath -> String

makeRelative :: FilePath -> FilePath -> FilePath

replaceExtension :: FilePath -> String -> FilePath

takeExtension :: FilePath -> String

takeExtensions :: FilePath -> String

dropExtensions :: FilePath -> FilePath

dropExtension :: FilePath -> FilePath

splitDirectories :: FilePath -> [String]

(Monad m, FileLike (FileT h a)) => FileLike (m (FileT h a))

Methods

combine :: m (FileT h a) -> String -> m (FileT h a)

takeDirectory :: m (FileT h a) -> m (FileT h a)

takeBaseName :: m (FileT h a) -> String

takeFileName :: m (FileT h a) -> String

makeRelative :: m (FileT h a) -> m (FileT h a) -> m (FileT h a)

replaceExtension :: m (FileT h a) -> String -> m (FileT h a)

takeExtension :: m (FileT h a) -> String

takeExtensions :: m (FileT h a) -> String

dropExtensions :: m (FileT h a) -> m (FileT h a)

dropExtension :: m (FileT h a) -> m (FileT h a)

splitDirectories :: m (FileT h a) -> [String]

(Eq h, Show h, FileLike a) => FileLike (FileT h a)

Methods

combine :: FileT h a -> String -> FileT h a

takeDirectory :: FileT h a -> FileT h a

takeBaseName :: FileT h a -> String

takeFileName :: FileT h a -> String

makeRelative :: FileT h a -> FileT h a -> FileT h a

replaceExtension :: FileT h a -> String -> FileT h a

takeExtension :: FileT h a -> String

takeExtensions :: FileT h a -> String

dropExtensions :: FileT h a -> FileT h a

dropExtension :: FileT h a -> FileT h a

splitDirectories :: FileT h a -> [String]

(</>) :: FileLike a => a -> String -> a

Redefine standard / operator to work with Files

(.=) :: FileLike a => a -> String -> a

Alias for replaceExtension