From b1a160b6d11917a10863d3089d31b794db896f08 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 23 Sep 2016 11:09:51 -0400 Subject: server levels --- Types/Server.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Types') diff --git a/Types/Server.hs b/Types/Server.hs index a6d1ad9..7be29ce 100644 --- a/Types/Server.hs +++ b/Types/Server.hs @@ -26,9 +26,13 @@ newtype ServerName = ServerName String instance ToJSON ServerName instance FromJSON ServerName - + +data ServerLevel = Recommended | Alternate | Untrusted + deriving (Show, Eq, Ord) + data Server = Server { serverName :: ServerName + , serverLevel :: ServerLevel , serverAddress :: [ServerAddress] -- ^ A server may have multiple addresses, or no current address. } -- cgit v1.2.3