Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Hashes

Contents

Era-independent hash type identifiers.
Script 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

data EraIndependentTxBody
data EraIndependentBlockHeader
data EraIndependentBlockBody
data EraIndependentMetadata
data EraIndependentScript
data EraIndependentData
data EraIndependentScriptData
data EraIndependentAuxiliaryData
data EraIndependentPParamView
data EraIndependentScriptIntegrity
newtype ScriptHash crypto = ScriptHash ( Hash ( ADDRHASH crypto) EraIndependentScript )
type DataHash crypto = SafeHash crypto EraIndependentData

Era-independent hash type identifiers.

data EraIndependentTxBody Source #

data EraIndependentBlockHeader Source #

data EraIndependentBlockBody Source #

data EraIndependentMetadata Source #

data EraIndependentScript Source #

data EraIndependentData Source #

data EraIndependentScriptData Source #

data EraIndependentAuxiliaryData Source #

data EraIndependentPParamView Source #

data EraIndependentScriptIntegrity Source #

Script hashes

newtype ScriptHash crypto Source #

Constructors

ScriptHash ( Hash ( ADDRHASH crypto) EraIndependentScript )

Instances

Instances details

Eq ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (/=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source #
Ord ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare :: ScriptHash crypto -> ScriptHash crypto -> Ordering Source # (<) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (<=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (>) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (>=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # max :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto Source # min :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto Source #
Show ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec :: Int -> ScriptHash crypto -> ShowS Source # show :: ScriptHash crypto -> String Source # showList :: [ ScriptHash crypto] -> ShowS Source #
Generic ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep ( ScriptHash crypto) :: Type -> Type Source # Methods from :: ScriptHash crypto -> Rep ( ScriptHash crypto) x Source # to :: Rep ( ScriptHash crypto) x -> ScriptHash crypto Source #
NFData ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf :: ScriptHash crypto -> () Source #
Crypto crypto => ToJSON ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON :: ScriptHash crypto -> Value Source # toEncoding :: ScriptHash crypto -> Encoding Source # toJSONList :: [ ScriptHash crypto] -> Value Source # toEncodingList :: [ ScriptHash crypto] -> Encoding Source #
Crypto crypto => FromJSON ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON :: Value -> Parser ( ScriptHash crypto) Source # parseJSONList :: Value -> Parser [ ScriptHash crypto] Source #
Crypto crypto => ToCBOR ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR :: ScriptHash crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( ScriptHash crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ScriptHash crypto] -> Size Source #
Crypto crypto => FromCBOR ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR :: Decoder s ( ScriptHash crypto) Source # label :: Proxy ( ScriptHash crypto) -> Text Source #
NoThunks ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks :: Context -> ScriptHash crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ScriptHash crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( ScriptHash crypto) -> String Source #
type Rep ( ScriptHash crypto) Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep ( ScriptHash crypto) = D1 (' MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "ScriptHash" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash ( ADDRHASH crypto) EraIndependentScript ))))

type DataHash crypto = SafeHash crypto EraIndependentData Source #