{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-}

module Cardano.Ledger.AuxiliaryData
  {-# DEPRECATED "Use `Cardano.Ledger.Hashes.TxAuxDataHash` instead" #-} (
  AuxiliaryDataHash,
  pattern AuxiliaryDataHash,
  unsafeAuxiliaryDataHash,
) where

import Cardano.Ledger.Hashes

type AuxiliaryDataHash = TxAuxDataHash

pattern AuxiliaryDataHash :: SafeHash EraIndependentTxAuxData -> TxAuxDataHash
pattern $mAuxiliaryDataHash :: forall {r}.
TxAuxDataHash
-> (SafeHash EraIndependentTxAuxData -> r) -> ((# #) -> r) -> r
$bAuxiliaryDataHash :: SafeHash EraIndependentTxAuxData -> TxAuxDataHash
AuxiliaryDataHash {TxAuxDataHash -> SafeHash EraIndependentTxAuxData
unsafeAuxiliaryDataHash} <- (unTxAuxDataHash -> unsafeAuxiliaryDataHash)
  where
    AuxiliaryDataHash SafeHash EraIndependentTxAuxData
h = SafeHash EraIndependentTxAuxData -> TxAuxDataHash
TxAuxDataHash SafeHash EraIndependentTxAuxData
h