From 0ba45a9fb578cc3fc6e8cac45034e1e5bd4fea34 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 19 Dec 2012 23:43:15 -0400 Subject: test --- Types/TrustLevel.hs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Types') diff --git a/Types/TrustLevel.hs b/Types/TrustLevel.hs index 83e4e5a5e..27325cd2b 100644 --- a/Types/TrustLevel.hs +++ b/Types/TrustLevel.hs @@ -10,6 +10,7 @@ module Types.TrustLevel ( TrustMap, readTrustLevel, showTrustLevel, + prop_read_show_TrustLevel ) where import qualified Data.Map as M @@ -17,7 +18,7 @@ import qualified Data.Map as M import Types.UUID data TrustLevel = Trusted | SemiTrusted | UnTrusted | DeadTrusted - deriving (Eq, Enum, Ord) + deriving (Eq, Enum, Ord, Bounded) type TrustMap = M.Map UUID TrustLevel @@ -33,3 +34,8 @@ showTrustLevel Trusted = "trusted" showTrustLevel UnTrusted = "untrusted" showTrustLevel SemiTrusted = "semitrusted" showTrustLevel DeadTrusted = "dead" + +prop_read_show_TrustLevel :: Bool +prop_read_show_TrustLevel = all check [minBound .. maxBound] + where + check l = readTrustLevel (showTrustLevel l) == Just l -- cgit v1.2.3