mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

RemoteConfig type

Browse source
This commit is contained in:
Joey Hess 2011-04-15 15:09:36 -04:00
parent f7018e47e4
commit 1e84dab4c8
8 changed files with 33 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

8
RemoteClass.hs
View file

@ -15,6 +15,8 @@ import Data.Map as M
import qualified GitRepo as Git
import Key
type RemoteConfig = M.Map String String
{- There are different types of remotes. -}
data RemoteType a = RemoteType {
-- human visible type name
@ -22,9 +24,9 @@ data RemoteType a = RemoteType {
-- enumerates remotes of this type
enumerate :: a [Git.Repo],
-- generates a remote of this type
generate :: Git.Repo -> String -> Maybe (M.Map String String) -> a (Remote a),
generate :: Git.Repo -> String -> Maybe RemoteConfig -> a (Remote a),
-- initializes or changes a remote
setup :: String -> M.Map String String -> a (M.Map String String)
setup :: String -> RemoteConfig -> a RemoteConfig
}
{- An individual remote. -}
@ -48,7 +50,7 @@ data Remote a = Remote {
-- operation.
hasKeyCheap :: Bool,
-- a Remote can have a persistent configuration store
config :: Maybe (M.Map String String)
config :: Maybe RemoteConfig
}
instance Show (Remote a) where