fully working signatures

This commit was sponsored by Ethan Aubin.

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