Distribution.Client.RebuildMonad · cabal-install-3.18.1.0

valuemonitorDirectory :: FilePath -> MonitorFilePath

Monitor a single directory for changes, based on its modification time. The monitored directory is considered to have changed if it no longer exists or if its modification time has changed.

valuemonitorDirectoryExistence :: FilePath -> MonitorFilePath

#

Monitor a single directory for existence. The monitored directory is considered to have changed only if it no longer exists.

valuemonitorFile :: FilePath -> MonitorFilePath

#

Monitor a single file for changes, based on its modification time. The monitored file is considered to have changed if it no longer exists or if its modification time has changed.

valuemonitorFileGlob :: RootedGlob -> MonitorFilePath

#

Monitor a set of files (or directories) identified by a file glob. The monitored glob is considered to have changed if the set of files matching the glob changes (i.e. creations or deletions), or for files if the modification time and content hash of any matching file has changed.

valuemonitorFileGlobExistence :: RootedGlob -> MonitorFilePath

#

Monitor a set of files (or directories) identified by a file glob for existence only. The monitored glob is considered to have changed if the set of files matching the glob changes (i.e. creations or deletions).

valuemonitorFileHashed :: FilePath -> MonitorFilePath

#

Monitor a single file for changes, based on its modification time and content hash. The monitored file is considered to have changed if it no longer exists or if its modification time and content hash have changed.

valuemonitorFileHashedSearchPath :: [FilePath] -> FilePath -> [MonitorFilePath]

#

Similar to monitorFileSearchPath, but also instructs us to monitor the hash of the found file.

valuemonitorFileOrDirectory :: FilePath -> MonitorFilePath

#

Monitor a single file or directory for changes, based on its modification time. The monitored file is considered to have changed if it no longer exists or if its modification time has changed.

valuemonitorFileSearchPath :: [FilePath] -> FilePath -> [MonitorFilePath]

#

Creates a list of files to monitor when you search for a file which unsuccessfully looked in notFoundAtPaths before finding it at foundAtPath.

valuemonitorNonExistentDirectory :: FilePath -> MonitorFilePath

#

Monitor a single non-existent directory for changes. The monitored directory is considered to have changed if it exists.

valuemonitorNonExistentFile :: FilePath -> MonitorFilePath

#

Monitor a single non-existent file for changes. The monitored file is considered to have changed if it exists.

valuenewFileMonitor :: Eq a => FilePath -> FileMonitor a b

#

valueaskRoot :: Rebuild FilePath

#

valuecreateDirectoryMonitored :: Bool -> FilePath -> Rebuild ()

#

valuedelayInitSharedResource :: IO a -> Rebuild (Rebuild a)

#

valuedelayInitSharedResources :: Ord k => (k -> IO v) -> Rebuild (k -> Rebuild v)

#

valuedoesFileExistMonitored :: FilePath -> Rebuild Bool

#

valueexecRebuild :: FilePath -> Rebuild a -> IO [MonitorFilePath]

#

valuefindFileMonitored :: [FilePath] -> FilePath -> Rebuild (Maybe FilePath)

#

valuefindFileWithExtensionMonitored

:: [Suffix]
-> [FilePath]
-> FilePath
-> Rebuild (Maybe FilePath)

#

valuefindFirstFileMonitored :: (a -> FilePath) -> [a] -> Rebuild (Maybe a)

#

valuegetDirectoryContentsMonitored :: FilePath -> Rebuild [FilePath]

#

valuematchFileGlob :: RootedGlob -> Rebuild [FilePath]

#

valuemonitorDirectoryStatus :: FilePath -> Rebuild Bool

#

valuemonitorFiles :: [MonitorFilePath] -> Rebuild ()

#

valueneed :: FilePath -> Rebuild ()

#

valueneedIfExists :: FilePath -> Rebuild ()

#

valuererunConcurrentlyIfChanged

:: (Binary a, Structured a, Binary b, Structured b)
=> Verbosity
-> IO (JobControl IO (b, [MonitorFilePath]))
-> [(FileMonitor a b, a, Rebuild b)]
-> Rebuild [b]

#

valuererunIfChanged

:: (Binary a, Structured a, Binary b, Structured b)
=> Verbosity
-> FileMonitor a b
-> a
-> Rebuild b
-> Rebuild b

#

valuerunRebuild :: FilePath -> Rebuild a -> IO a

#

datadata FilePathRoot

#

Constructors

FilePathRelative
FilePathRoot FilePath
e.g. "/", "c:" or result of takeDrive
FilePathHomeDir

Instances8Eq, Show, Generic, Binary, Parsec, Pretty, …

Eq FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Show FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Generic FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Binary FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Parsec FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Pretty FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Structured FilePathRootDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
type Rep FilePathRoot = D1 ('MetaData "FilePathRoot" "Distribution.Simple.FileMonitor.Types" "Cabal-3.18.1.0-2e60" 'False) (C1 ('MetaCons "FilePathRelative" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "FilePathRoot" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "FilePathHomeDir" 'PrefixI 'False) U1))Defined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types

datadata MonitorFilePath

#

A description of a file (or set of files) to monitor for changes.

Where file paths are relative they are relative to a common directory (e.g. project root), not necessarily the process current directory.

Instances6Eq, Show, Generic, Binary, Structured, Rep

Eq MonitorFilePathDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Show MonitorFilePathDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Generic MonitorFilePathDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Binary MonitorFilePathDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Structured MonitorFilePathDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
type Rep MonitorFilePath = D1 ('MetaData "MonitorFilePath" "Distribution.Simple.FileMonitor.Types" "Cabal-3.18.1.0-2e60" 'False) (C1 ('MetaCons "MonitorFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "monitorKindFile") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MonitorKindFile) :*: (S1 ('MetaSel ('Just "monitorKindDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MonitorKindDir) :*: S1 ('MetaSel ('Just "monitorPath") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FilePath))) :+: C1 ('MetaCons "MonitorFileGlob" 'PrefixI 'True) (S1 ('MetaSel ('Just "monitorKindFile") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MonitorKindFile) :*: (S1 ('MetaSel ('Just "monitorKindDir") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MonitorKindDir) :*: S1 ('MetaSel ('Just "monitorPathGlob") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RootedGlob))))Defined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types

datadata RootedGlob

#

A file path specified by globbing, relative to some root directory.

Constructors

RootedGlob FilePathRoot Glob

Instances8Eq, Show, Generic, Binary, Parsec, Pretty, …

Eq RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Show RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Generic RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Binary RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Parsec RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Pretty RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
Structured RootedGlobDefined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types
type Rep RootedGlob = D1 ('MetaData "RootedGlob" "Distribution.Simple.FileMonitor.Types" "Cabal-3.18.1.0-2e60" 'False) (C1 ('MetaCons "RootedGlob" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePathRoot) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Glob)))Defined in Cabal-3.18.1.0 · Distribution.Simple.FileMonitor.Types

datadata Glob

#

A filepath specified by globbing.

Constructors

GlobDir !GlobPieces !Glob
```
dirGlob/glob
```
GlobDirRecursive !GlobPieces
**/glob, where ** denotes recursively traversing all directories and matching filenames on glob.
Note that the glob portion can only match on filenames, not paths, so for example **foo*.txt is not supported.
GlobFile !GlobPieces
A file glob.
GlobDirTrailing
Trailing dir; a glob ending in /.

Instances8Eq, Show, Generic, Binary, Parsec, Pretty, …

Eq GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Show GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Generic GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Binary GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Parsec GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Pretty GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Structured GlobDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
type Rep Glob = D1 ('MetaData "Glob" "Distribution.Simple.Glob.Internal" "Cabal-3.18.1.0-2e60" 'False) ((C1 ('MetaCons "GlobDir" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GlobPieces) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Glob)) :+: C1 ('MetaCons "GlobDirRecursive" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GlobPieces))) :+: (C1 ('MetaCons "GlobFile" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GlobPieces)) :+: C1 ('MetaCons "GlobDirTrailing" 'PrefixI 'False) U1))Defined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal

datadata GlobPiece

#

A piece of a globbing pattern

Constructors

WildCard
A wildcard *
Literal String
A literal string dirABC
Union [GlobPieces]
A union of patterns, e.g. dir{a,*.txt,c}...

Instances6Eq, Show, Generic, Binary, Structured, Rep

Eq GlobPieceDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Show GlobPieceDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Generic GlobPieceDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Binary GlobPieceDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
Structured GlobPieceDefined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal
type Rep GlobPiece = D1 ('MetaData "GlobPiece" "Distribution.Simple.Glob.Internal" "Cabal-3.18.1.0-2e60" 'False) (C1 ('MetaCons "WildCard" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GlobPieces]))))Defined in Cabal-3.18.1.0 · Distribution.Simple.Glob.Internal

datadata FileMonitor a b

#

Constructors

FileMonitor
- fileMonitorCacheFile :: FilePath
- fileMonitorKeyValid :: a -> a -> Bool
- fileMonitorCheckIfOnlyValueChanged :: Bool

newtypenewtype Rebuild a

#

Instances4Monad, Functor, Applicative, MonadIO

Monad RebuildDefined in cabal-install-3.18.1.0 · Distribution.Client.RebuildMonad
Functor RebuildDefined in cabal-install-3.18.1.0 · Distribution.Client.RebuildMonad
Applicative RebuildDefined in cabal-install-3.18.1.0 · Distribution.Client.RebuildMonad
MonadIO RebuildDefined in cabal-install-3.18.1.0 · Distribution.Client.RebuildMonad