add PlutusTX validatorHashToTokenName

agora/Agora/Stake/Scripts.hs

@@ -22,8 +22,8 @@ import Agora.Utils (
   psymbolValueOf,
   ptokenSpent,
   ptxSignedBy,
+  pvalidatorHashToTokenName,
   pvalueSpent,
-  validatorHashToTokenName,
  )
 import Plutarch.Api.V1 (
   PCredential (PPubKeyCredential, PScriptCredential),
@@ -117,7 +117,7 @@ stakePolicy gtClassRef =
                   PScriptCredential validatorHash -> P.do
                     stakeDatum <- pletFields @'["owner", "stakedAmount"] stakeDatum'
 
-                    tn :: Term _ PTokenName <- plet (validatorHashToTokenName $ pfromData $ pfield @"_0" # validatorHash)
+                    tn :: Term _ PTokenName <- plet (pvalidatorHashToTokenName $ pfromData $ pfield @"_0" # validatorHash)
 
                     let stValue =
                           psingletonValue

agora/Agora/Utils.hs

@@ -39,11 +39,13 @@ module Agora.Utils (
   findOutputsToAddress,
   findTxOutDatum,
   validatorHashToTokenName,
+  pvalidatorHashToTokenName,
   getMintingPolicySymbol,
 ) where
 
 --------------------------------------------------------------------------------
 
+import Plutus.V1.Ledger.Api (TokenName (..), ValidatorHash (..))
 import Plutus.V1.Ledger.Value (AssetClass (..))
 
 --------------------------------------------------------------------------------
@@ -474,8 +476,12 @@ findTxOutDatum = phoistAcyclic $
 {- | Safely convert a 'PValidatorHash' into a 'PTokenName'. This can be useful for tagging
      tokens for extra safety.
 -}
-validatorHashToTokenName :: forall (s :: S). Term s PValidatorHash -> Term s PTokenName
+validatorHashToTokenName :: ValidatorHash -> TokenName
-validatorHashToTokenName vh = pcon (PTokenName (pto vh))
+validatorHashToTokenName (ValidatorHash hash) = TokenName hash
+
+-- | Plutarch level 'validatorHashToTokenName'.
+pvalidatorHashToTokenName :: forall (s :: S). Term s PValidatorHash -> Term s PTokenName
+pvalidatorHashToTokenName vh = pcon (PTokenName (pto vh))
 
 -- | Get the CurrencySymbol of a PMintingPolicy.
 getMintingPolicySymbol :: ClosedTerm PMintingPolicy -> CurrencySymbol