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

utilize gatSymbol; clean up imports

Browse source
This commit is contained in:
fanghr 2022-04-22 18:49:43 +08:00
parent b8cd27fc2a
commit f63e20907e
1 changed files with 2 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

13
agora/Agora/Effects/GovernorMutation.hs
View file

@ -23,8 +23,6 @@ import Plutarch.Api.V1 (
PTxOutRef, PTxOutRef,
PValidator, PValidator,
PValue, PValue,
mintingPolicySymbol,
mkMintingPolicy,
) )
import Plutarch.Builtin (pforgetData) import Plutarch.Builtin (pforgetData)
import Plutarch.DataRepr ( import Plutarch.DataRepr (
@ -42,13 +40,13 @@ import PlutusTx qualified
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
import Agora.AuthorityToken
import Agora.Effect (makeEffect) import Agora.Effect (makeEffect)
import Agora.Governor ( import Agora.Governor (
Governor, Governor,
GovernorDatum, GovernorDatum,
PGovernorDatum, PGovernorDatum,
gstAssetClass, gstAssetClass,
gatSymbol,
) )
import Agora.Utils ( import Agora.Utils (
findOutputsToAddress, findOutputsToAddress,
@ -93,7 +91,7 @@ deriving via (DerivePConstantViaData MutateGovernorDatum PMutateGovernorDatum) i
-------------------------------------------------------------------------------- --------------------------------------------------------------------------------
mutateGovernorValidator :: Governor -> ClosedTerm PValidator mutateGovernorValidator :: Governor -> ClosedTerm PValidator
mutateGovernorValidator gov = makeEffect gatSymbol $ mutateGovernorValidator gov = makeEffect (gatSymbol gov) $
\_gatCs (datum :: Term _ PMutateGovernorDatum) _txOutRef txInfo' -> P.do \_gatCs (datum :: Term _ PMutateGovernorDatum) _txOutRef txInfo' -> P.do
let newDatum = pforgetData $ pfield @"newDatum" # datum let newDatum = pforgetData $ pfield @"newDatum" # datum
pinnedGovernor = pfield @"governorRef" # datum pinnedGovernor = pfield @"governorRef" # datum
@ -152,12 +150,5 @@ mutateGovernorValidator gov = makeEffect gatSymbol $
_ -> ptraceError "Output datum not found" _ -> ptraceError "Output datum not found"
_ -> ptraceError "Ouput to governor should have datum" _ -> ptraceError "Ouput to governor should have datum"
where where
-- Copy-Paste from governor
-- TODO: export as a util function from governor
gatSymbol = mintingPolicySymbol policy
where
at = AuthorityToken $ gstAssetClass gov
policy = mkMintingPolicy $ authorityTokenPolicy at
gstValueOf :: Term s (PValue :--> PInteger) gstValueOf :: Term s (PValue :--> PInteger)
gstValueOf = passetClassValueOf' $ gstAssetClass gov gstValueOf = passetClassValueOf' $ gstAssetClass gov