summaryrefslogtreecommitdiffhomepage
path: root/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Types.hs')
-rw-r--r--Types.hs7
1 files changed, 5 insertions, 2 deletions
diff --git a/Types.hs b/Types.hs
index 27c9e67..e20228d 100644
--- a/Types.hs
+++ b/Types.hs
@@ -50,6 +50,9 @@ instance DataSize a => DataSize (Message a) where
-- to a previous Activity.
--
-- The Signature is over both the data in the activity, and its pointer.
+--
+-- Note that the Signature is included in the Hash of an Activity,
+-- which is why it's part of the Activity.
data Activity a = Activity
{ activity :: a
, prevActivity :: Maybe Hash
@@ -119,7 +122,7 @@ instance DataSize Signature where
-- | A public key used for a debug-me session.
-- It may be signed with a gpg key.
data PublicKey = PublicKey Val (Maybe GpgSig)
- deriving (Show, Generic)
+ deriving (Show, Generic, Eq)
instance DataSize PublicKey where
-- ed25519 public keys are 32 bytes
@@ -127,7 +130,7 @@ instance DataSize PublicKey where
-- | A signature made with a gpg key.
newtype GpgSig = GpgSig Val
- deriving (Show, Generic)
+ deriving (Show, Generic, Eq)
instance DataSize GpgSig where
dataSize (GpgSig s) = dataSize s