summaryrefslogtreecommitdiff
path: root/Types
diff options
context:
space:
mode:
Diffstat (limited to 'Types')
-rw-r--r--Types/TrustLevel.hs8
1 files changed, 7 insertions, 1 deletions
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