cardano-ledger-core-1.12.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Hashes

Description

Various identifiers in the ledger are hashes of particular structures. While the structures may change from era to era, the hash will remain the same, and we can refer to the hash of, say, a transaction, without knowing the actual transaction type. As such, we define a number of these hashes here.

Synopsis

Era-independent hash type identifiers.

data EraIndependentTxBody Source #

data EraIndependentBlockHeader Source #

data EraIndependentBlockBody Source #

data EraIndependentMetadata Source #

data EraIndependentScript Source #

data EraIndependentData Source #

Instances

Instances details
Crypto c ⇒ HeapWords (StrictMaybe (DataHash c)) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

heapWords ∷ StrictMaybe (DataHash c) → Int Source #

EraCrypto era ~ c ⇒ HashAnnotated (BinaryData era) EraIndependentData c Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

indexProxy ∷ BinaryData era → Proxy EraIndependentData Source #

hashAnnotated ∷ BinaryData era → SafeHash c EraIndependentData Source #

EraCrypto era ~ c ⇒ HashAnnotated (Data era) EraIndependentData c Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Data

Methods

indexProxy ∷ Data era → Proxy EraIndependentData Source #

hashAnnotated ∷ Data era → SafeHash c EraIndependentData Source #

data EraIndependentScriptData Source #

data EraIndependentTxAuxData Source #

data EraIndependentPParamView Source #

data EraIndependentScriptIntegrity Source #

Script hashes

newtype ScriptHash c Source #

Constructors

ScriptHash (Hash (ADDRHASH c) EraIndependentScript) 

Instances

Instances details
Crypto c ⇒ FromJSON (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

parseJSON ∷ Value → Parser (ScriptHash c) Source #

parseJSONList ∷ Value → Parser [ScriptHash c] Source #

omittedField ∷ Maybe (ScriptHash c) Source #

Crypto c ⇒ FromJSONKey (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

fromJSONKey ∷ FromJSONKeyFunction (ScriptHash c) Source #

fromJSONKeyList ∷ FromJSONKeyFunction [ScriptHash c] Source #

Crypto c ⇒ ToJSON (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toJSON ∷ ScriptHash c → Value Source #

toEncoding ∷ ScriptHash c → Encoding Source #

toJSONList ∷ [ScriptHash c] → Value Source #

toEncodingList ∷ [ScriptHash c] → Encoding Source #

omitField ∷ ScriptHash c → Bool Source #

Crypto c ⇒ ToJSONKey (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toJSONKey ∷ ToJSONKeyFunction (ScriptHash c) Source #

toJSONKeyList ∷ ToJSONKeyFunction [ScriptHash c] Source #

Generic (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep (ScriptHash c) ∷ Type → Type Source #

Methods

from ∷ ScriptHash c → Rep (ScriptHash c) x Source #

to ∷ Rep (ScriptHash c) x → ScriptHash c Source #

Show (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → ScriptHash c → ShowS Source #

show ∷ ScriptHash c → String Source #

showList ∷ [ScriptHash c] → ShowS Source #

Crypto c ⇒ FromCBOR (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

fromCBOR ∷ Decoder s (ScriptHash c) Source #

label ∷ Proxy (ScriptHash c) → Text Source #

Crypto c ⇒ ToCBOR (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

toCBOR ∷ ScriptHash c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ScriptHash c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash c] → Size Source #

Crypto c ⇒ DecCBOR (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

decCBOR ∷ Decoder s (ScriptHash c) Source #

dropCBOR ∷ Proxy (ScriptHash c) → Decoder s () Source #

label ∷ Proxy (ScriptHash c) → Text Source #

Crypto c ⇒ EncCBOR (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ ScriptHash c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ScriptHash c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash c] → Size Source #

NFData (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf ∷ ScriptHash c → () Source #

Eq (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ ScriptHash c → ScriptHash c → Bool Source #

(/=) ∷ ScriptHash c → ScriptHash c → Bool Source #

Ord (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ ScriptHash c → ScriptHash c → Ordering Source #

(<) ∷ ScriptHash c → ScriptHash c → Bool Source #

(<=) ∷ ScriptHash c → ScriptHash c → Bool Source #

(>) ∷ ScriptHash c → ScriptHash c → Bool Source #

(>=) ∷ ScriptHash c → ScriptHash c → Bool Source #

max ∷ ScriptHash c → ScriptHash c → ScriptHash c Source #

min ∷ ScriptHash c → ScriptHash c → ScriptHash c Source #

NoThunks (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

noThunks ∷ Context → ScriptHash c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ScriptHash c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ScriptHash c) → String Source #

type Rep (ScriptHash c) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep (ScriptHash c) = D1 ('MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.12.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (ADDRHASH c) EraIndependentScript))))

type DataHash c = SafeHash c EraIndependentData Source #