| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Development.IDE.Graph.Database
Synopsis
- data ShakeDatabase
- data SomeShakeValue = forall k.ShakeValue k => SomeShakeValue k
- shakeOpenDatabase :: ShakeOptions -> Rules () -> IO (IO ShakeDatabase, IO ())
- shakeRunDatabaseForKeys :: Maybe [SomeShakeValue] -> ShakeDatabase -> [Action a] -> IO ([a], [IO ()])
- shakeProfileDatabase :: ShakeDatabase -> FilePath -> IO ()
Documentation
data ShakeDatabase #
The type of an open Shake database. Created with
shakeOpenDatabase or shakeWithDatabase. Used with
shakeRunDatabase. You may not execute simultaneous calls using ShakeDatabase
on separate threads (it will raise an error).
data SomeShakeValue Source #
Constructors
| forall k.ShakeValue k => SomeShakeValue k |
Instances
| Eq SomeShakeValue Source # | |
Defined in Development.IDE.Graph.Database Methods (==) :: SomeShakeValue -> SomeShakeValue -> Bool # (/=) :: SomeShakeValue -> SomeShakeValue -> Bool # | |
| Show SomeShakeValue Source # | |
Defined in Development.IDE.Graph.Database Methods showsPrec :: Int -> SomeShakeValue -> ShowS # show :: SomeShakeValue -> String # showList :: [SomeShakeValue] -> ShowS # | |
| Hashable SomeShakeValue Source # | |
Defined in Development.IDE.Graph.Database | |
shakeOpenDatabase :: ShakeOptions -> Rules () -> IO (IO ShakeDatabase, IO ()) Source #
shakeRunDatabaseForKeys Source #
Arguments
| :: Maybe [SomeShakeValue] | Set of keys changed since last run. |
| -> ShakeDatabase | |
| -> [Action a] | |
| -> IO ([a], [IO ()]) |
shakeProfileDatabase :: ShakeDatabase -> FilePath -> IO () #
Given a ShakeDatabase, generate profile information to the given file about the latest run.
See shakeReport for the types of file that can be generated.