From ec86b357e6ff0615ab02d31e4f7ebe75e3027fb0 Mon Sep 17 00:00:00 2001
From: anton-k <anton.kholomiov@gmail.com>
Date: Wed, 13 Jul 2022 13:55:56 +0300
Subject: [PATCH] Make typed hashes

---
 src/Plutus/Test/Model/Validator.hs | 28 +++++++++++++++++++++++++---
 1 file changed, 25 insertions(+), 3 deletions(-)

diff --git a/src/Plutus/Test/Model/Validator.hs b/src/Plutus/Test/Model/Validator.hs
index 2d44606..bc87381 100644
--- a/src/Plutus/Test/Model/Validator.hs
+++ b/src/Plutus/Test/Model/Validator.hs
@@ -12,7 +12,11 @@ module Plutus.Test.Model.Validator(
   toBuiltinPolicy,
   toBuiltinStake,
 
+  -- * Hashes
+  validatorHash,
   scriptCurrencySymbol,
+  stakeValidatorHash,
+  mintingPolicyHash,
 ) where
 
 import Prelude
@@ -34,6 +38,11 @@ class (HasAddress script, ToData (DatumType script), FromData (DatumType script)
   type RedeemerType script :: Type
   toValidator :: script -> Validator
 
+instance IsValidator Validator where
+  type DatumType Validator = BuiltinData
+  type RedeemerType Validator = BuiltinData
+  toValidator = id
+
 instance (ToData datum, FromData datum, ToData redeemer, FromData redeemer)
   => IsValidator (TypedValidator datum redeemer) where
   type DatumType (TypedValidator datum redeemer) = datum
@@ -51,6 +60,9 @@ instance (ToData redeemer, FromData redeemer) => IsValidator (TypedPolicy redeem
   type RedeemerType (TypedPolicy redeemer) = redeemer
   toValidator (TypedPolicy (MintingPolicy script)) = Validator script
 
+validatorHash :: IsValidator a => a -> ValidatorHash
+validatorHash = Fork.validatorHash . toValidator
+
 -- | Phantom type to annotate types
 newtype TypedValidator datum redeemer = TypedValidator
   { unTypedValidator :: Validator }
@@ -62,9 +74,6 @@ instance HasAddress (TypedValidator datum redeemer) where
 newtype TypedPolicy redeemer = TypedPolicy
   { unTypedPolicy :: MintingPolicy }
 
-scriptCurrencySymbol :: TypedPolicy a -> CurrencySymbol
-scriptCurrencySymbol (TypedPolicy script) = Fork.scriptCurrencySymbol script
-
 instance (ToData redeemer, FromData redeemer) => HasAddress (TypedPolicy redeemer) where
   toAddress = toAddress . toValidator
 
@@ -90,6 +99,19 @@ instance (ToData redeemer, FromData redeemer) => HasAddress (TypedStake redeemer
 instance HasStakingCredential (TypedStake redeemer) where
   toStakingCredential (TypedStake script) = toStakingCredential script
 
+---------------------------------------------------------------------------------
+
+scriptCurrencySymbol :: TypedPolicy a -> CurrencySymbol
+scriptCurrencySymbol = Fork.scriptCurrencySymbol . unTypedPolicy
+
+mintingPolicyHash :: TypedPolicy a -> MintingPolicyHash
+mintingPolicyHash = Fork.mintingPolicyHash . unTypedPolicy
+
+stakeValidatorHash :: TypedStake a -> StakeValidatorHash
+stakeValidatorHash = Fork.stakeValidatorHash . unTypedStake
+
+---------------------------------------------------------------------------------
+
 -- | Coverts to low-level validator representation
 {-# INLINABLE toBuiltinValidator #-}
 toBuiltinValidator :: (UnsafeFromData datum, UnsafeFromData redeemer)