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

format

Browse source
This commit is contained in:
Seungheon Oh 2022-04-25 11:17:15 -04:00
parent cbff7324d8
commit e262395556
2 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora.cabal
View file

@ -123,8 +123,8 @@ library
exposed-modules: exposed-modules:
Agora.AuthorityToken Agora.AuthorityToken
Agora.Effect Agora.Effect
Agora.Effect.TreasuryWithdrawal
Agora.Effect.NoOp Agora.Effect.NoOp
Agora.Effect.TreasuryWithdrawal
Agora.Governor Agora.Governor
Agora.MultiSig Agora.MultiSig
Agora.Proposal Agora.Proposal

7
agora/Agora/Effect/TreasuryWithdrawal.hs
View file

@ -13,14 +13,13 @@ module Agora.Effect.TreasuryWithdrawal (
treasuryWithdrawalValidator, treasuryWithdrawalValidator,
) where ) where
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))
import Control.Applicative (Const)
import Agora.Effect (makeEffect) import Agora.Effect (makeEffect)
import Agora.Utils (findTxOutByTxOutRef, paddValue, passert) import Agora.Utils (findTxOutByTxOutRef, paddValue, passert)
import Plutarch (popaque) import Plutarch (popaque)
import Plutarch.Internal (punsafeCoerce)
import Plutarch.Api.V1 ( import Plutarch.Api.V1 (
PCredential (..), PCredential (..),
PTuple, PTuple,
@ -28,15 +27,16 @@ import Plutarch.Api.V1 (
PValue, PValue,
ptuple, ptuple,
) )
import Plutarch.Internal (punsafeCoerce)
import Plutarch.DataRepr ( import Plutarch.DataRepr (
DerivePConstantViaData (..), DerivePConstantViaData (..),
PDataFields, PDataFields,
PIsDataReprInstances (..), PIsDataReprInstances (..),
) )
import Plutarch.TryFrom ( PTryFrom(..) )
import Plutarch.Lift (PUnsafeLiftDecl (..)) import Plutarch.Lift (PUnsafeLiftDecl (..))
import Plutarch.Monadic qualified as P import Plutarch.Monadic qualified as P
import Plutarch.TryFrom (PTryFrom (..))
import Plutus.V1.Ledger.Credential (Credential) import Plutus.V1.Ledger.Credential (Credential)
import Plutus.V1.Ledger.Value (CurrencySymbol, Value) import Plutus.V1.Ledger.Value (CurrencySymbol, Value)
import PlutusTx qualified import PlutusTx qualified
@ -80,7 +80,6 @@ instance PTryFrom PData PTreasuryWithdrawalDatum where
-- this will need to not use punsafeCoerce... -- this will need to not use punsafeCoerce...
cont (punsafeCoerce opq, ()) cont (punsafeCoerce opq, ())
{- | Withdraws given list of values to specific target addresses. {- | Withdraws given list of values to specific target addresses.
It can be evoked by burning GAT. The transaction should have correct It can be evoked by burning GAT. The transaction should have correct
outputs to the users and any left overs should be paid back to the treasury. outputs to the users and any left overs should be paid back to the treasury.