diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-09-23 11:09:51 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-09-23 11:09:51 -0400 |
| commit | b1a160b6d11917a10863d3089d31b794db896f08 (patch) | |
| tree | 512cde2cb4eb4bf3eded3f376e55b598e136abe3 /Types | |
| parent | 9c18c1315ea3160fe7c9c7ba5be0bd21059b3777 (diff) | |
| download | keysafe-b1a160b6d11917a10863d3089d31b794db896f08.tar.gz | |
server levels
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/Server.hs | 6 |
1 files changed, 5 insertions, 1 deletions
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. } |