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

remove redundant checks in hasOnlyOneTokenOfAssetClass'

Browse source
This commit is contained in:
Emily Martins 2022-04-26 22:41:08 +08:00 • committed by fanghr
parent d3b5f6c416
commit 067d69d8f6
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
agora/Agora/Utils.hs
View file

@ -526,12 +526,8 @@ getMintingPolicySymbol v = mintingPolicySymbol $ mkMintingPolicy v
-- | The entire value only contains one token of the specific assetclass.
hasOnlyOneTokenOfAssetClass' :: AssetClass -> Term s (PValue :--> PBool)
hasOnlyOneTokenOfAssetClass' ac@(AssetClass (as, _)) = phoistAcyclic $
plam $ \vs -> P.do
let ps = pconstant as
hasOnlyOneTokenOfCurrencySymbol # ps # vs
#&& passetClassValueOf' ac # vs #== 1
hasOnlyOneTokenOfAssetClass' ac = phoistAcyclic $
plam $ \vs -> passetClassValueOf' ac # vs #== 1
-- | The entire value only contains one token of the specific currency symbol.
hasOnlyOneTokenOfCurrencySymbol :: Term s (PCurrencySymbol :--> PValue :--> PBool)