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