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

Cardano.Ledger.Keys.Bootstrap

Synopsis

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 #

DecCBOR BootstrapWitness Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

decCBOR ∷ Decoder s BootstrapWitness Source #

dropCBOR ∷ Proxy BootstrapWitness → Decoder s () Source #

label ∷ Proxy BootstrapWitness → Text Source #

EncCBOR BootstrapWitness Source # 
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 #

Memoized BootstrapWitness Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type RawType BootstrapWitness = (r ∷ Type) Source #

Methods

getMemoBytes ∷ BootstrapWitness → MemoBytes (RawType BootstrapWitness)

wrapMemoBytes ∷ MemoBytes (RawType BootstrapWitness) → BootstrapWitness

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" 'True) (C1 ('MetaCons "BootstrapWitnessConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes BootstrapWitnessRaw))))
type RawType BootstrapWitness Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type RawType BootstrapWitness = BootstrapWitnessRaw

data BootstrapWitnessRaw Source #

Instances

Instances details
Generic BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep BootstrapWitnessRaw ∷ Type → Type #

Methods

from ∷ BootstrapWitnessRaw → Rep BootstrapWitnessRaw x #

to ∷ Rep BootstrapWitnessRaw x → BootstrapWitnessRaw #

Show BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

showsPrec ∷ Int → BootstrapWitnessRaw → ShowS #

show ∷ BootstrapWitnessRaw → String #

showList ∷ [BootstrapWitnessRaw] → ShowS #

DecCBOR BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

decCBOR ∷ Decoder s BootstrapWitnessRaw Source #

dropCBOR ∷ Proxy BootstrapWitnessRaw → Decoder s () Source #

label ∷ Proxy BootstrapWitnessRaw → Text Source #

EncCBOR BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

encCBOR ∷ BootstrapWitnessRaw → Encoding Source #

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

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

NFData BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnf ∷ BootstrapWitnessRaw → () #

Eq BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

(==) ∷ BootstrapWitnessRaw → BootstrapWitnessRaw → Bool #

(/=) ∷ BootstrapWitnessRaw → BootstrapWitnessRaw → Bool #

NoThunks BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

noThunks ∷ Context → BootstrapWitnessRaw → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BootstrapWitnessRaw → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy BootstrapWitnessRaw → String Source #

DecCBOR (Annotator BootstrapWitnessRaw) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

decCBOR ∷ Decoder s (Annotator BootstrapWitnessRaw) Source #

dropCBOR ∷ Proxy (Annotator BootstrapWitnessRaw) → Decoder s () Source #

label ∷ Proxy (Annotator BootstrapWitnessRaw) → Text Source #

type Rep BootstrapWitnessRaw Source # 
Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep BootstrapWitnessRaw = D1 ('MetaData "BootstrapWitnessRaw" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitnessRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwrKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwrSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwrChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwrAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))))

newtype ChainCode Source #

Constructors

ChainCode 

Fields

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 #