diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-11 17:19:55 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-11 17:19:55 -0400 |
commit | af82586adff96f18fe768e432f501c647401262f (patch) | |
tree | 20e7ec170661ab11010e39ce46657b69e7341e09 /Types.hs | |
parent | de3dafae80f45af8db56dc95e11863f049cf3cb2 (diff) |
split up Types
Diffstat (limited to 'Types.hs')
-rw-r--r-- | Types.hs | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/Types.hs b/Types.hs deleted file mode 100644 index 5c5a428d5..000000000 --- a/Types.hs +++ /dev/null @@ -1,39 +0,0 @@ -{- git-annex data types - - -} - -module Types where - --- annexed filenames are mapped into keys -type Key = String - --- this structure represents a key/value backend -data Backend = Backend { - -- name of this backend - name :: String, - -- converts a filename to a key - getKey :: GitRepo -> FilePath -> IO (Maybe Key), - -- stores a file's contents to a key - storeFileKey :: GitRepo -> FilePath -> Key -> IO Bool, - -- retrieves a key's contents to a file - retrieveKeyFile :: Key -> FilePath -> IO Bool, - -- removes a key - removeKey :: Key -> IO Bool -} - --- a git repository -data GitRepo = GitRepo { - top :: FilePath, - bare :: Bool -} - --- git-annex's runtime state -data State = State { - repo :: GitRepo, - gitconfig :: GitConfig -} - -data GitConfig = GitConfig { - annex_name :: String, - annex_numcopies :: Int, - annex_backends :: [Backend] -} |