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

add PTryFrom instances for PGovernorDatum and PGovernorDatum

Browse source
This commit is contained in:
fanghr 2022-04-29 17:03:59 +08:00
parent c47d0ca857
commit 3da721b876
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
agora/Agora/Governor.hs
View file

@ -32,6 +32,7 @@ module Agora.Governor (
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
import Control.Applicative (Const)
import GHC.Generics qualified as GHC import GHC.Generics qualified as GHC
import Generics.SOP (Generic, I (I)) import Generics.SOP (Generic, I (I))
@ -118,6 +119,7 @@ import Plutarch.Map.Extra (pkeys, plookup, plookup')
import Plutarch.Monadic qualified as P import Plutarch.Monadic qualified as P
import Plutarch.SafeMoney (PDiscrete, Tagged (..), puntag, pvalueDiscrete) import Plutarch.SafeMoney (PDiscrete, Tagged (..), puntag, pvalueDiscrete)
import Plutarch.Unsafe (punsafeCoerce) import Plutarch.Unsafe (punsafeCoerce)
import Plutarch.TryFrom(PTryFrom(..))
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
@ -211,6 +213,14 @@ newtype PGovernorDatum (s :: S) = PGovernorDatum
instance PUnsafeLiftDecl PGovernorDatum where type PLifted PGovernorDatum = GovernorDatum instance PUnsafeLiftDecl PGovernorDatum where type PLifted PGovernorDatum = GovernorDatum
deriving via (DerivePConstantViaData GovernorDatum PGovernorDatum) instance (PConstant GovernorDatum) deriving via (DerivePConstantViaData GovernorDatum PGovernorDatum) instance (PConstant GovernorDatum)
-- FIXME: derive this via 'PIsDataReprInstances'
-- Blocked by: PProposalThresholds
instance PTryFrom PData (PAsData PGovernorDatum) where
type PTryFromExcess PData (PAsData PGovernorDatum) = Const ()
ptryFrom' d k = k (punsafeCoerce d , ())
-- | Plutarch-level version of 'GovernorRedeemer'. -- | Plutarch-level version of 'GovernorRedeemer'.
data PGovernorRedeemer (s :: S) data PGovernorRedeemer (s :: S)
= PCreateProposal (Term s (PDataRecord '[])) = PCreateProposal (Term s (PDataRecord '[]))
@ -226,6 +236,8 @@ data PGovernorRedeemer (s :: S)
instance PUnsafeLiftDecl PGovernorRedeemer where type PLifted PGovernorRedeemer = GovernorRedeemer instance PUnsafeLiftDecl PGovernorRedeemer where type PLifted PGovernorRedeemer = GovernorRedeemer
deriving via (DerivePConstantViaData GovernorRedeemer PGovernorRedeemer) instance (PConstant GovernorRedeemer) deriving via (DerivePConstantViaData GovernorRedeemer PGovernorRedeemer) instance (PConstant GovernorRedeemer)
deriving via PAsData (PIsDataReprInstances PGovernorRedeemer) instance PTryFrom PData (PAsData PGovernorRedeemer)
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
{- | Policy for minting GSTs. {- | Policy for minting GSTs.