remove pvalidatorHashToTokenName

agora/Agora/Stake/Scripts.hs

@@ -17,7 +17,6 @@ import Agora.Stake (
  )
 import Agora.Utils (
   mustFindDatum',
-  pvalidatorHashToTokenName,
  )
 import Data.Function (on)
 import Data.Tagged (Tagged (..), untag)
@@ -46,6 +45,7 @@ import Plutarch.SafeMoney (
   pdiscreteValue',
   pvalueDiscrete',
  )
+import Plutarch.Unsafe (punsafeCoerce)
 import PlutusLedgerApi.V1.Value (AssetClass (AssetClass))
 import Prelude hiding (Num (..))
 
@@ -135,7 +135,7 @@ stakePolicy gtClassRef =
                                 PPubKeyCredential _ -> pcon PFalse
                                 PScriptCredential ((pfield @"_0" #) -> validatorHash) ->
                                   let tn :: Term _ PTokenName
-                                      tn = pvalidatorHashToTokenName validatorHash
+                                      tn = punsafeCoerce $ pfromData validatorHash
                                    in pvalueOf # outputF.value # ownSymbol # tn #== 1
                         )
                       # pfromData txInfoF.outputs

agora/Agora/Utils.hs

@@ -10,7 +10,6 @@ Plutarch utility functions that should be upstreamed or don't belong anywhere el
 -}
 module Agora.Utils (
   validatorHashToTokenName,
-  pvalidatorHashToTokenName,
   mustFindDatum',
   validatorHashToAddress,
   pltAsData,
@@ -24,9 +23,7 @@ import Plutarch.Api.V1 (
   PDatum,
   PDatumHash,
   PMaybeData,
-  PTokenName (PTokenName),
   PTuple,
-  PValidatorHash,
  )
 import Plutarch.Builtin (pforgetData)
 import Plutarch.Extra.List (plookupTuple)
@@ -53,13 +50,6 @@ import PlutusLedgerApi.V1 (
 validatorHashToTokenName :: ValidatorHash -> TokenName
 validatorHashToTokenName (ValidatorHash hash) = TokenName hash
 
-{- | Plutarch level 'validatorHashToTokenName'.
-
-     @since 0.1.0
--}
-pvalidatorHashToTokenName :: forall (s :: S). Term s PValidatorHash -> Term s PTokenName
-pvalidatorHashToTokenName vh = pcon (PTokenName (pto vh))
-
 {- | Find datum given a maybe datum hash
 
      @since 0.1.0