Skip to content
Snippets Groups Projects
Commit 1caae680 authored by Jean-Paul Calderone's avatar Jean-Paul Calderone
Browse files

lint

parent b4e3bcb2
No related branches found
No related tags found
1 merge request!15Add `Ord` instances for capability types
Pipeline #4807 passed
......@@ -54,7 +54,7 @@ data Verifier = Verifier
deriving (Eq, Show)
instance Ord Verifier where
a <= b = (verifierStorageIndex a <= verifierStorageIndex b)
a <= b = verifierStorageIndex a <= verifierStorageIndex b
instance ConfidentialShowable Verifier where
confidentiallyShow = dangerRealShow . SDMFVerifier
......@@ -67,7 +67,7 @@ data Reader = Reader
deriving (Eq, Show)
instance Ord Reader where
a <= b = (readerVerifier a <= readerVerifier b)
a <= b = readerVerifier a <= readerVerifier b
instance ConfidentialShowable Reader where
confidentiallyShow = dangerRealShow . SDMFReader
......@@ -80,7 +80,7 @@ data Writer = Writer
deriving (Eq, Show)
instance Ord Writer where
a <= b = (writerReader a <= writerReader b)
a <= b = writerReader a <= writerReader b
instance ConfidentialShowable Writer where
confidentiallyShow = dangerRealShow . SDMFWriter
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment