IDE.StrippedPrefs
Description
- data Prefs = Prefs {}
- data RetrieveStrategy
- readStrippedPrefs :: FilePath -> IO Prefs
- writeStrippedPrefs :: FilePath -> Prefs -> IO ()
- getSourceDirectories :: Prefs -> IO [FilePath]
- getUnpackDirectory :: Prefs -> IO (Maybe FilePath)
Documentation
Preferences is a data structure to hold configuration data
Constructors
| Prefs | |
Fields | |
data RetrieveStrategy Source
Constructors
| RetrieveThenBuild | |
| BuildThenRetrieve | |
| NeverRetrieve |
getSourceDirectories :: Prefs -> IO [FilePath]Source