Eq for ACommandTag (#520)

This commit is contained in:
JRoberts
2022-09-10 22:03:51 +04:00
committed by GitHub
parent bab6a1577b
commit 4bf9f2b535
+2
View File
@@ -297,6 +297,8 @@ data ACommandTag (p :: AParty) where
ERR_ :: ACommandTag Agent
SUSPENDED_ :: ACommandTag Agent
deriving instance Eq (ACommandTag p)
deriving instance Show (ACommandTag p)
aCommandTag :: ACommand p -> ACommandTag p