cake3-0.6.5: Third cake the Makefile EDSL

Safe HaskellSafe
LanguageHaskell98

System.FilePath.Wrapper

Synopsis

Documentation

data FileT h a Source #

Constructors

FileT h a 

Instances

EmbedDecl File Source # 

Methods

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

SrcDecl File Source # 

Methods

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

LinkDecl File Source # 

Methods

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

ModuleDecl File Source # 

Methods

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

Monad m => RefOutput m File Source # 

Methods

refOutput :: File -> A' m Command Source #

Monad m => LibraryDecl m File Source # 

Methods

library :: File -> UrpGen m () Source #

RefOutput m File => RefOutput m (m File) Source # 

Methods

refOutput :: m File -> A' m Command Source #

Monad m => RefOutput m (Set File) Source # 
Monad m => RefOutput m [File] Source # 

Methods

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

Monad m => LibraryDecl m (m File) Source # 

Methods

library :: m File -> UrpGen m () Source #

Monad m => LibraryDecl m [File] Source # 

Methods

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

Monad m => RefInput (A' m) File Source # 

Methods

refInput :: File -> A' m Command Source #

Monad m => RefInput (UrpGen m) File Source # 
(Eq a, Eq h) => Eq (FileT h a) Source # 

Methods

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

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

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

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) Source # 

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) Source # 

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) Source # 
LinkDecl (File, String) Source # 

Methods

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

ModuleDecl (File, File) Source # 

Methods

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

SrcDecl (File, String, String) Source # 

Methods

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

fromFilePath :: h -> FilePath -> FileT h FilePath Source #

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

class FileLike a where Source #

Instances

FileLike FilePath Source # 
(Monad m, FileLike (FileT h a)) => FileLike (m (FileT h a)) Source # 

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Redefine standard / operator to work with Files

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

Alias for replaceExtension