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

preparing for agora-pro

Browse source
This commit is contained in:
Seungheon Oh 2022-10-18 20:50:05 -05:00
parent a098012d59
commit 16c0c15c58
1 changed files with 16 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

28
agora/Agora/Stake/Scripts.hs
View file

@ -247,9 +247,12 @@ stakePolicy =
-} -}
mkStakeValidator :: mkStakeValidator ::
StakeRedeemerImpl -> StakeRedeemerImpl ->
ClosedTerm (PCurrencySymbol :--> PAssetClass :--> PAssetClass :--> PValidator) Term s PCurrencySymbol ->
mkStakeValidator impl = Term s PAssetClass ->
plam $ \sstSymbol pstClass gstClass _datum redeemer ctx -> unTermCont $ do Term s PAssetClass ->
Term s PValidator
mkStakeValidator impl sstSymbol pstClass gstClass =
plam $ \_datum redeemer ctx -> unTermCont $ do
ctxF <- pletFieldsC @'["txInfo", "purpose"] ctx ctxF <- pletFieldsC @'["txInfo", "purpose"] ctx
txInfo <- pletC $ pfromData ctxF.txInfo txInfo <- pletC $ pfromData ctxF.txInfo
txInfoF <- txInfoF <-
@ -602,12 +605,13 @@ mkStakeValidator impl =
-} -}
stakeValidator :: ClosedTerm (PCurrencySymbol :--> PAssetClass :--> PAssetClass :--> PValidator) stakeValidator :: ClosedTerm (PCurrencySymbol :--> PAssetClass :--> PAssetClass :--> PValidator)
stakeValidator = stakeValidator =
mkStakeValidator $ plam $
StakeRedeemerImpl mkStakeValidator $
{ onDepositWithdraw = PStakeRedeemerHandlerTerm pdepositWithdraw StakeRedeemerImpl
, onDestroy = PStakeRedeemerHandlerTerm pdestroy { onDepositWithdraw = PStakeRedeemerHandlerTerm pdepositWithdraw
, onPermitVote = PStakeRedeemerHandlerTerm ppermitVote , onDestroy = PStakeRedeemerHandlerTerm pdestroy
, onRetractVote = PStakeRedeemerHandlerTerm pretractVote , onPermitVote = PStakeRedeemerHandlerTerm ppermitVote
, onDelegateTo = PStakeRedeemerHandlerTerm pdelegateTo , onRetractVote = PStakeRedeemerHandlerTerm pretractVote
, onClearDelegate = PStakeRedeemerHandlerTerm pclearDelegate , onDelegateTo = PStakeRedeemerHandlerTerm pdelegateTo
} , onClearDelegate = PStakeRedeemerHandlerTerm pclearDelegate
}