Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Keys.Bootstrap

Synopsis

data BootstrapWitness where
- pattern BootstrapWitness ∷ VKey 'Witness → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness
newtype ChainCode = ChainCode {
- unChainCode ∷ ByteString
}
bootstrapWitKeyHash ∷ BootstrapWitness → KeyHash 'Witness
unpackByronVKey ∷ VerificationKey → (VKey 'Witness, ChainCode)
makeBootstrapWitness ∷ Hash HASH EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness
verifyBootstrapWit ∷ Hash HASH EraIndependentTxBody → BootstrapWitness → Bool
eqBootstrapWitnessRaw ∷ BootstrapWitness → BootstrapWitness → Bool

Documentation

data BootstrapWitness where Source #

Bundled Patterns

pattern BootstrapWitness ∷ VKey 'Witness → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness

Instances

Instances details

Generic BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Associated Types type Rep BootstrapWitness ∷ Type → Type # Methods from ∷ BootstrapWitness → Rep BootstrapWitness x # to ∷ Rep BootstrapWitness x → BootstrapWitness #
Show BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec ∷ Int → BootstrapWitness → ShowS # show ∷ BootstrapWitness → String # showList ∷ [BootstrapWitness] → ShowS #
ToCBOR BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods toCBOR ∷ BootstrapWitness → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BootstrapWitness → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BootstrapWitness] → Size Source #
EncCBOR BootstrapWitness Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods encCBOR ∷ BootstrapWitness → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy BootstrapWitness → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BootstrapWitness] → Size Source #
EqRaw BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods eqRaw ∷ BootstrapWitness → BootstrapWitness → Bool Source #
NFData BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods rnf ∷ BootstrapWitness → () #
Eq BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods (==) ∷ BootstrapWitness → BootstrapWitness → Bool # (/=) ∷ BootstrapWitness → BootstrapWitness → Bool #
Ord BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods compare ∷ BootstrapWitness → BootstrapWitness → Ordering # (<) ∷ BootstrapWitness → BootstrapWitness → Bool # (<=) ∷ BootstrapWitness → BootstrapWitness → Bool # (>) ∷ BootstrapWitness → BootstrapWitness → Bool # (>=) ∷ BootstrapWitness → BootstrapWitness → Bool # max ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness # min ∷ BootstrapWitness → BootstrapWitness → BootstrapWitness #
NoThunks BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BootstrapWitness → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BootstrapWitness → String Source #
DecCBOR (Annotator BootstrapWitness) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods decCBOR ∷ Decoder s (Annotator BootstrapWitness) Source # dropCBOR ∷ Proxy (Annotator BootstrapWitness) → Decoder s () Source # label ∷ Proxy (Annotator BootstrapWitness) → Text Source #
type Rep BootstrapWitness Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness)) :: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (Hash HASH 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
Fields unChainCode ∷ ByteString

Instances

Instances details

Generic ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Associated Types type Rep ChainCode ∷ Type → Type # Methods from ∷ ChainCode → Rep ChainCode x # to ∷ Rep ChainCode x → ChainCode #
Show ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec ∷ Int → ChainCode → ShowS # show ∷ ChainCode → String # showList ∷ [ChainCode] → ShowS #
DecCBOR ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods decCBOR ∷ Decoder s ChainCode Source # dropCBOR ∷ Proxy ChainCode → Decoder s () Source # label ∷ Proxy ChainCode → Text Source #
EncCBOR ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods encCBOR ∷ ChainCode → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ChainCode → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ChainCode] → Size Source #
NFData ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods rnf ∷ ChainCode → () #
Eq ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods (==) ∷ ChainCode → ChainCode → Bool # (/=) ∷ ChainCode → ChainCode → Bool #
NoThunks ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ChainCode → String Source #
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.17.0.0-inplace" 'True) (C1 ('MetaCons "ChainCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

bootstrapWitKeyHash ∷ BootstrapWitness → KeyHash 'Witness Source #

Rebuild the addrRoot of the corresponding address.

unpackByronVKey ∷ VerificationKey → (VKey 'Witness, ChainCode) Source #

makeBootstrapWitness ∷ Hash HASH EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness Source #

verifyBootstrapWit ∷ Hash HASH EraIndependentTxBody → BootstrapWitness → Bool Source #

eqBootstrapWitnessRaw ∷ BootstrapWitness → BootstrapWitness → Bool Source #