add burning support to stake policy

2022-02-21 19:03:05 +01:00 · 2022-02-21 19:03:05 +01:00 · 87af9ffcb9
commit 87af9ffcb9
parent 552c6c8a00
3 changed files with 86 additions and 25 deletions
--- a/src/Agora/Utils.hs
+++ b/src/Agora/Utils.hs
@ -107,6 +107,7 @@ passetClassValueOf =
      v <- pexpectJust 0 (plookup # pdata token # m)
      pfromData v

+-- | Extract amount from PValue belonging to a Haskell-level AssetClass
 passetClassValueOf' :: AssetClass -> Term s (PValue :--> PInteger)
 passetClassValueOf' (AssetClass (sym, token)) =
  passetClassValueOf # pconstant sym # pconstant token