Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

PEq instances for a bunch of on-chain structures

Browse source
This commit is contained in:
fanghr 2022-05-18 16:49:55 +08:00
parent 80496430ab
commit 11743e0aac
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora/Agora/Proposal.hs
View file

@ -303,7 +303,7 @@ data PProposalStatus (s :: S)
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData)
(PlutusType, PIsData, PEq)
via PIsDataReprInstances PProposalStatus
instance PUnsafeLiftDecl PProposalStatus where type PLifted PProposalStatus = ProposalStatus
@ -361,7 +361,7 @@ newtype PProposalDatum (s :: S) = PProposalDatum
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData, PDataFields)
(PlutusType, PIsData, PDataFields, PEq)
via (PIsDataReprInstances PProposalDatum)
-- TODO: Derive this.

4
agora/Agora/Stake.hs
View file

@ -191,7 +191,7 @@ newtype PStakeDatum (s :: S) = PStakeDatum
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData, PDataFields)
(PlutusType, PIsData, PDataFields, PEq)
via (PIsDataReprInstances PStakeDatum)
instance PTryFrom PData (PAsData PStakeDatum) where
@ -241,7 +241,7 @@ newtype PProposalLock (s :: S) = PProposalLock
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData, PDataFields)
(PlutusType, PIsData, PDataFields, PEq)
via (PIsDataReprInstances PProposalLock)
deriving via