summaryrefslogtreecommitdiff
path: root/Types.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2010-10-11 17:19:55 -0400
committerGravatar Joey Hess <joey@kitenet.net>2010-10-11 17:19:55 -0400
commitaf82586adff96f18fe768e432f501c647401262f (patch)
tree20e7ec170661ab11010e39ce46657b69e7341e09 /Types.hs
parentde3dafae80f45af8db56dc95e11863f049cf3cb2 (diff)
split up Types
Diffstat (limited to 'Types.hs')
-rw-r--r--Types.hs39
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]
-}