From 067d69d8f65970f0f6456d660ec1bea9f6be2a38 Mon Sep 17 00:00:00 2001 From: Emily Martins Date: Tue, 26 Apr 2022 22:41:08 +0800 Subject: [PATCH] remove redundant checks in `hasOnlyOneTokenOfAssetClass'` --- agora/Agora/Utils.hs | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs index 563015b..83fbdb2 100644 --- a/agora/Agora/Utils.hs +++ b/agora/Agora/Utils.hs @@ -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)