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

Cardano.Ledger.Keys.Bootstrap

Synopsis

Documentation

data BootstrapWitness c where Source #

Bundled Patterns

pattern BootstrapWitnessCrypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCodeByteStringBootstrapWitness c 

Instances

Instances details
Generic (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep (BootstrapWitness c) ∷ TypeType Source #

Crypto c ⇒ Show (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

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

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

toCBORBootstrapWitness c → Encoding Source #

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

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

Crypto c ⇒ DecCBOR (Annotator (BootstrapWitness c)) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ EncCBOR (BootstrapWitness c) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ EqRaw (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

(Crypto era, NFData (VerKeyDSIGN (DSIGN era)), NFData (SigDSIGN (DSIGN era))) ⇒ NFData (BootstrapWitness era) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnfBootstrapWitness era → () Source #

Crypto c ⇒ Eq (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ Ord (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Crypto c ⇒ NoThunks (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep (BootstrapWitness c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep (BootstrapWitness c) = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness c)) :*: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :*: (S1 ('MetaSel ('Just "bwAttributes'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "bwBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

newtype ChainCode Source #

Constructors

ChainCode 

Instances

Instances details
Generic ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep ChainCodeTypeType Source #

Show ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

DecCBOR ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

EncCBOR ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

encCBORChainCodeEncoding Source #

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

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

NFData ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnfChainCode → () Source #

Eq ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

NoThunks ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep ChainCode Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep ChainCode = D1 ('MetaData "ChainCode" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.14.0.0-inplace" 'True) (C1 ('MetaCons "ChainCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

bootstrapWitKeyHash ∷ ∀ c. Crypto c ⇒ BootstrapWitness c → KeyHash 'Witness c Source #

Rebuild the addrRoot of the corresponding address.