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

remove hasOnlyOneTokenOfAssetClass'

Browse source
This commit is contained in:
fanghr 2022-04-29 17:25:17 +08:00
parent 750761ed0d
commit 65a8e9f92c
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora/Agora/Utils.hs
View file

@ -43,7 +43,6 @@ module Agora.Utils (
validatorHashToTokenName, validatorHashToTokenName,
pvalidatorHashToTokenName, pvalidatorHashToTokenName,
getMintingPolicySymbol, getMintingPolicySymbol,
hasOnlyOneTokenOfAssetClass',
hasOnlyOneTokenOfCurrencySymbol, hasOnlyOneTokenOfCurrencySymbol,
mustFindDatum', mustFindDatum',
mustBePJust, mustBePJust,
@ -517,11 +516,6 @@ pvalidatorHashToTokenName vh = pcon (PTokenName (pto vh))
getMintingPolicySymbol :: ClosedTerm PMintingPolicy -> CurrencySymbol getMintingPolicySymbol :: ClosedTerm PMintingPolicy -> CurrencySymbol
getMintingPolicySymbol v = mintingPolicySymbol $ mkMintingPolicy v getMintingPolicySymbol v = mintingPolicySymbol $ mkMintingPolicy v
-- | The entire value only contains one token of the specific assetclass.
hasOnlyOneTokenOfAssetClass' :: AssetClass -> Term s (PValue :--> PBool)
hasOnlyOneTokenOfAssetClass' ac = phoistAcyclic $
plam $ \vs -> passetClassValueOf' ac # vs #== 1
-- | The entire value only contains one token of the given currency symbol. -- | The entire value only contains one token of the given currency symbol.
hasOnlyOneTokenOfCurrencySymbol :: Term s (PCurrencySymbol :--> PValue :--> PBool) hasOnlyOneTokenOfCurrencySymbol :: Term s (PCurrencySymbol :--> PValue :--> PBool)
hasOnlyOneTokenOfCurrencySymbol = phoistAcyclic $ hasOnlyOneTokenOfCurrencySymbol = phoistAcyclic $