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

WIP Stake policy

Browse source
This commit is contained in:
Emily Martins 2022-02-15 23:08:10 +01:00
parent 01ee791f77
commit 1fcb62d7a8
6 changed files with 108 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Agora/AuthorityToken.hs
View file

@ -37,9 +37,9 @@ newtype AuthorityToken = AuthorityToken
authorityTokenPolicy ::
AuthorityToken ->
Term s (PData :--> PData :--> PScriptContext :--> PUnit)
Term s (PData :--> PScriptContext :--> PUnit)
authorityTokenPolicy params =
plam $ \_datum _redeemer ctx' ->
plam $ \_redeemer ctx' ->
pmatch ctx' $ \(PScriptContext ctx) ->
let txInfo' = pfromData $ pfield @"txInfo" # ctx
purpose' = pfromData $ pfield @"purpose" # ctx