From 0e6369030edec7b4e331cd94f2457b7547e8abb9 Mon Sep 17 00:00:00 2001 From: fanghr Date: Fri, 29 Apr 2022 17:25:17 +0800 Subject: [PATCH] remove `hasOnlyOneTokenOfAssetClass'` --- agora/Agora/Utils.hs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs index a1b88b3..34a47fc 100644 --- a/agora/Agora/Utils.hs +++ b/agora/Agora/Utils.hs @@ -43,7 +43,6 @@ module Agora.Utils ( validatorHashToTokenName, pvalidatorHashToTokenName, getMintingPolicySymbol, - hasOnlyOneTokenOfAssetClass', hasOnlyOneTokenOfCurrencySymbol, mustFindDatum', mustBePJust, @@ -517,11 +516,6 @@ pvalidatorHashToTokenName vh = pcon (PTokenName (pto vh)) getMintingPolicySymbol :: ClosedTerm PMintingPolicy -> CurrencySymbol 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. hasOnlyOneTokenOfCurrencySymbol :: Term s (PCurrencySymbol :--> PValue :--> PBool) hasOnlyOneTokenOfCurrencySymbol = phoistAcyclic $