From 8d50857dfdf4fcf05e6ce13f060371e5c695554d Mon Sep 17 00:00:00 2001
From: Emily Martins <emi@haskell.fyi>
Date: Mon, 28 Mar 2022 13:51:30 +0200
Subject: [PATCH] add IsData instances to ProposalTypes

---
 agora/Agora/Proposal.hs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index c9f2daa..596a169 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE TemplateHaskell #-}
+
 {- |
 Module     : Agora.Proposal
 Maintainer : emi@haskell.fyi
@@ -31,6 +33,7 @@ import Plutarch.DataRepr (
   PIsDataReprInstances (PIsDataReprInstances),
  )
 import Plutus.V1.Ledger.Api (DatumHash, PubKeyHash, ValidatorHash)
+import PlutusTx qualified
 
 --------------------------------------------------------------------------------
 
@@ -47,6 +50,7 @@ import Agora.SafeMoney (Discrete, GTTag, PDiscrete)
 @
 -}
 newtype ResultTag = ResultTag {getResultTag :: Integer}
+  deriving newtype (PlutusTx.ToData, PlutusTx.FromData, PlutusTx.UnsafeFromData)
 
 {- | The "status" of the proposal. This is only useful for state transitions,
      as opposed to time-based "phases".
@@ -79,6 +83,8 @@ data ProposalStatus
     --   TODO: The owner of the proposal may choose to reclaim their proposal.
     Finished
 
+PlutusTx.makeIsDataIndexed ''ProposalStatus [('Draft, 0), ('VotingReady, 1), ('Finished, 2)]
+
 {- | The threshold values for various state transitions to happen.
      This data is stored centrally (in the Governor) and copied over
      to Proposals when they are created.
@@ -93,6 +99,8 @@ data ProposalThresholds = ProposalThresholds
   -- (i.e. to move into 'VotingReady')
   }
 
+PlutusTx.makeIsDataIndexed ''ProposalThresholds [('ProposalThresholds, 0)]
+
 {- | Map which encodes the total tally for each result.
    It's important that the 'shape' is consistent with the shape of 'effects'.
 
@@ -107,6 +115,7 @@ data ProposalThresholds = ProposalThresholds
 newtype ProposalVotes = ProposalVotes
   { getProposalVotes :: [(ResultTag, Integer)]
   }
+  deriving newtype (PlutusTx.ToData, PlutusTx.FromData, PlutusTx.UnsafeFromData)
 
 -- | Haskell-level datum for Proposal scripts.
 data ProposalDatum = ProposalDatum
@@ -125,6 +134,8 @@ data ProposalDatum = ProposalDatum
   -- ^ Vote tally on the proposal
   }
 
+PlutusTx.makeIsDataIndexed ''ProposalDatum [('ProposalDatum, 0)]
+
 --------------------------------------------------------------------------------
 -- Plutarch-land