2011-03-16 01:34:13 +00:00
|
|
|
{- git-annex key/value backend data type
|
2010-10-14 06:52:17 +00:00
|
|
|
-
|
2011-12-31 08:14:33 +00:00
|
|
|
- Most things should not need this, using Types instead
|
2010-10-27 20:53:54 +00:00
|
|
|
-
|
2012-06-05 23:51:03 +00:00
|
|
|
- Copyright 2010,2012 Joey Hess <joey@kitenet.net>
|
2010-10-27 20:53:54 +00:00
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
2010-10-14 06:52:17 +00:00
|
|
|
-}
|
2010-10-12 19:52:18 +00:00
|
|
|
|
2011-06-02 01:56:04 +00:00
|
|
|
module Types.Backend where
|
2010-10-12 19:52:18 +00:00
|
|
|
|
2011-06-02 01:56:04 +00:00
|
|
|
import Types.Key
|
2012-06-20 20:07:14 +00:00
|
|
|
import Types.KeySource
|
2012-06-05 23:51:03 +00:00
|
|
|
|
2012-06-06 15:58:08 +00:00
|
|
|
data BackendA a = Backend
|
|
|
|
{ name :: String
|
|
|
|
, getKey :: KeySource -> a (Maybe Key)
|
2014-07-27 16:33:46 +00:00
|
|
|
-- Checks the content of a key.
|
2012-06-06 15:58:08 +00:00
|
|
|
, fsckKey :: Maybe (Key -> FilePath -> a Bool)
|
2014-07-27 16:33:46 +00:00
|
|
|
-- Checks if a key can be upgraded to a better form.
|
2012-12-20 19:43:14 +00:00
|
|
|
, canUpgradeKey :: Maybe (Key -> Bool)
|
2014-07-27 16:33:46 +00:00
|
|
|
-- Checks if there is a fast way to migrate a key to a different
|
|
|
|
-- backend (ie, without re-hashing).
|
2015-01-04 16:33:10 +00:00
|
|
|
, fastMigrate :: Maybe (Key -> BackendA a -> AssociatedFile -> Maybe Key)
|
2014-07-27 16:33:46 +00:00
|
|
|
-- Checks if a key is known (or assumed) to always refer to the
|
|
|
|
-- same data.
|
|
|
|
, isStableKey :: Key -> Bool
|
2012-06-06 15:58:08 +00:00
|
|
|
}
|
2011-01-26 04:37:50 +00:00
|
|
|
|
2011-12-31 08:11:39 +00:00
|
|
|
instance Show (BackendA a) where
|
2011-01-26 04:37:50 +00:00
|
|
|
show backend = "Backend { name =\"" ++ name backend ++ "\" }"
|
|
|
|
|
2011-12-31 08:11:39 +00:00
|
|
|
instance Eq (BackendA a) where
|
2011-01-26 04:37:50 +00:00
|
|
|
a == b = name a == name b
|