Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Keys.Bootstrap

Synopsis

data BootstrapWitness = BootstrapWitness {
- bwKey ∷ !(VKey 'Witness)
- bwSignature ∷ !(SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))
- bwChainCode ∷ !ChainCode
- bwAttributes ∷ !ByteArray
}
newtype ChainCode = ChainCode {
- unChainCode ∷ ByteArray
}
bootstrapWitKeyHash ∷ BootstrapWitness → KeyHash 'Witness
unpackByronVKey ∷ VerificationKey → (VKey 'Witness, ChainCode)
makeBootstrapWitness ∷ Hash HASH EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness
verifyBootstrapWit ∷ Hash HASH EraIndependentTxBody → BootstrapWitness → Bool

Documentation

data BootstrapWitness Source #

Constructors

BootstrapWitness
Fields bwKey ∷ !(VKey 'Witness) bwSignature ∷ !(SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)) bwChainCode ∷ !ChainCode bwAttributes ∷ !ByteArray

Instances

Instances details

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 #

NFData BootstrapWitness Source #

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnf ∷ BootstrapWitness → () #

Generic BootstrapWitness Source #

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

type Rep BootstrapWitness

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.21.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwSignature") '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 ByteArray))))

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 #

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 #

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.21.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness)) :*: S1 ('MetaSel ('Just "bwSignature") '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 ByteArray))))

newtype ChainCode Source #

Constructors

ChainCode
Fields unChainCode ∷ ByteArray

Instances

Instances details

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 #

NFData ChainCode Source #

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Methods

rnf ∷ ChainCode → () #

Generic ChainCode Source #

Instance details

Defined in Cardano.Ledger.Keys.Bootstrap

Associated Types

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