| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Development.IDE.Graph.Database
Synopsis
- data ShakeDatabase
- shakeOpenDatabase :: ShakeOptions -> Rules () -> IO (IO ShakeDatabase, IO ())
- shakeRunDatabase :: 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).
shakeOpenDatabase :: ShakeOptions -> Rules () -> IO (IO ShakeDatabase, IO ()) Source #
shakeRunDatabase :: ShakeDatabase -> [Action a] -> IO ([a], [IO ()]) Source #
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.