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

add corresponding plutarch-level redeemer and datum

Browse source 
* lift them as well
This commit is contained in:
fanghr 2022-04-15 13:02:57 +08:00
parent 3b94062dbb
commit 60001f45f2
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
1 changed files with 45 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

47
agora/Agora/Governor.hs
View file

@ -14,6 +14,7 @@ module Agora.Governor (
Governor (..),
-- * Plutarch-land
PGovernorDatum (..),
-- * Scripts
governorPolicy,
@ -23,16 +24,22 @@ module Agora.Governor (
--------------------------------------------------------------------------------
import GHC.Generics qualified as GHC
import Generics.SOP (Generic, I (I))
--------------------------------------------------------------------------------
import Agora.Proposal (ProposalId, ProposalThresholds)
import Agora.Proposal (ProposalId, ProposalThresholds, PProposalThresholds, PProposalId)
--------------------------------------------------------------------------------
import Plutarch (popaque)
import Plutarch.Api.V1 (PMintingPolicy, PValidator)
import PlutusTx qualified
import Plutarch.DataRepr (
DerivePConstantViaData (..),
PDataFields,
PIsDataReprInstances (PIsDataReprInstances),
)
import Plutarch.Lift (PUnsafeLiftDecl (..))
--------------------------------------------------------------------------------
@ -84,6 +91,42 @@ data Governor
--------------------------------------------------------------------------------
-- | Plutarch-level datum for the Governor script.
newtype PGovernorDatum (s::S)= PGovernorDatum { getGovernorDatum ::
Term s (PDataRecord '[
"proposalThresholds" ':= PProposalThresholds,
"nextProposalId" ':= PProposalId
])
}
deriving stock (GHC.Generic)
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData, PDataFields)
via PIsDataReprInstances PGovernorDatum
instance PUnsafeLiftDecl PGovernorDatum where type PLifted PGovernorDatum = GovernorDatum
deriving via (DerivePConstantViaData GovernorDatum PGovernorDatum) instance (PConstant GovernorDatum)
-- | Plutarch-level version of 'GovernorRedeemer'
data PGovernorRedeemer (s :: S) =
PCreateProposal (Term s (PDataRecord '[]))
| PMintGATs (Term s (PDataRecord '[]))
| PMutateDatum (Term s (PDataRecord '[]))
deriving stock (GHC.Generic)
deriving anyclass (Generic)
deriving anyclass (PIsDataRepr)
deriving
(PlutusType, PIsData)
via PIsDataReprInstances PGovernorRedeemer
instance PUnsafeLiftDecl PGovernorRedeemer where type PLifted PGovernorRedeemer = GovernorRedeemer
deriving via (DerivePConstantViaData GovernorRedeemer PGovernorRedeemer) instance (PConstant GovernorRedeemer)
--------------------------------------------------------------------------------
-- | Policy for Governors.
governorPolicy :: Governor -> ClosedTerm PMintingPolicy
governorPolicy _ =