summaryrefslogtreecommitdiff
path: root/Types/Remote.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-12-31 03:27:37 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-12-31 03:27:37 -0400
commit8a33573caff38b557fdf60c9547a78a5cc8c4ddc (patch)
treefed26c043272c62738a9e83357283535195c0397 /Types/Remote.hs
parent6cd4c7efcdea9a8897aa6b9e2b30e7e3426574bc (diff)
better filtering out of special remotes
Diffstat (limited to 'Types/Remote.hs')
-rw-r--r--Types/Remote.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs
index ec9b7a7a7..3a8a23f31 100644
--- a/Types/Remote.hs
+++ b/Types/Remote.hs
@@ -30,6 +30,9 @@ data RemoteType a = RemoteType {
setup :: UUID -> RemoteConfig -> a RemoteConfig
}
+instance Eq (RemoteType a) where
+ x == y = typename x == typename y
+
{- An individual remote. -}
data Remote a = Remote {
-- each Remote has a unique uuid
@@ -53,7 +56,9 @@ data Remote a = Remote {
-- a Remote can have a persistent configuration store
config :: Maybe RemoteConfig,
-- git configuration for the remote
- repo :: Git.Repo
+ repo :: Git.Repo,
+ -- the type of the remote
+ remotetype :: RemoteType a
}
instance Show (Remote a) where