From 8a33573caff38b557fdf60c9547a78a5cc8c4ddc Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 31 Dec 2011 03:27:37 -0400 Subject: better filtering out of special remotes --- Types/Remote.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'Types') 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 -- cgit v1.2.3