Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Keys.Bootstrap

Synopsis

data BootstrapWitness c where
- pattern BootstrapWitness ∷ Crypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness c
newtype ChainCode = ChainCode {
- unChainCode ∷ ByteString
}
bootstrapWitKeyHash ∷ ∀ c. Crypto c ⇒ BootstrapWitness c → KeyHash 'Witness c
unpackByronVKey ∷ ∀ c. DSIGN c ~ Ed25519DSIGN ⇒ VerificationKey → (VKey 'Witness c, ChainCode)
makeBootstrapWitness ∷ ∀ c. (DSIGN c ~ Ed25519DSIGN, Crypto c) ⇒ Hash c EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness c
verifyBootstrapWit ∷ ∀ c. (Crypto c, Signable (DSIGN c) (Hash c EraIndependentTxBody)) ⇒ Hash c EraIndependentTxBody → BootstrapWitness c → Bool
eqBootstrapWitnessRaw ∷ Crypto c ⇒ BootstrapWitness c → BootstrapWitness c → Bool

Documentation

data BootstrapWitness c where Source #

Bundled Patterns

pattern BootstrapWitness ∷ Crypto c ⇒ VKey 'Witness c → SignedDSIGN c (Hash c EraIndependentTxBody) → ChainCode → ByteString → BootstrapWitness c

Instances

Instances details

Generic (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Associated Types type Rep (BootstrapWitness c) ∷ Type → Type Source # Methods from ∷ BootstrapWitness c → Rep (BootstrapWitness c) x Source # to ∷ Rep (BootstrapWitness c) x → BootstrapWitness c Source #
Crypto c ⇒ Show (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec ∷ Int → BootstrapWitness c → ShowS Source # show ∷ BootstrapWitness c → String Source # showList ∷ [BootstrapWitness c] → ShowS Source #
Crypto c ⇒ ToCBOR (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods toCBOR ∷ BootstrapWitness 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 Methods decCBOR ∷ Decoder s (Annotator (BootstrapWitness c)) Source # dropCBOR ∷ Proxy (Annotator (BootstrapWitness c)) → Decoder s () Source # label ∷ Proxy (Annotator (BootstrapWitness c)) → Text Source #
Crypto c ⇒ EncCBOR (BootstrapWitness c) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods encCBOR ∷ BootstrapWitness c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (BootstrapWitness c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BootstrapWitness c] → Size Source #
Crypto c ⇒ EqRaw (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods eqRaw ∷ BootstrapWitness c → BootstrapWitness c → Bool Source #
(Crypto era, NFData (VerKeyDSIGN (DSIGN era)), NFData (SigDSIGN (DSIGN era))) ⇒ NFData (BootstrapWitness era) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods rnf ∷ BootstrapWitness era → () Source #
Crypto c ⇒ Eq (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods (==) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source # (/=) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source #
Crypto c ⇒ Ord (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods compare ∷ BootstrapWitness c → BootstrapWitness c → Ordering Source # (<) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source # (<=) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source # (>) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source # (>=) ∷ BootstrapWitness c → BootstrapWitness c → Bool Source # max ∷ BootstrapWitness c → BootstrapWitness c → BootstrapWitness c Source # min ∷ BootstrapWitness c → BootstrapWitness c → BootstrapWitness c Source #
Crypto c ⇒ NoThunks (BootstrapWitness c) Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods noThunks ∷ Context → BootstrapWitness c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BootstrapWitness c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BootstrapWitness c) → String Source #
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.12.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
Fields unChainCode ∷ ByteString

Instances

Instances details

Generic ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Associated Types type Rep ChainCode ∷ Type → Type Source # Methods from ∷ ChainCode → Rep ChainCode x Source # to ∷ Rep ChainCode x → ChainCode Source #
Show ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods showsPrec ∷ Int → ChainCode → ShowS Source # show ∷ ChainCode → String Source # showList ∷ [ChainCode] → ShowS Source #
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 → () Source #
Eq ChainCode Source #
Instance details Defined in Cardano.Ledger.Keys.Bootstrap Methods (==) ∷ ChainCode → ChainCode → Bool Source # (/=) ∷ ChainCode → ChainCode → Bool Source #
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.12.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.

unpackByronVKey ∷ ∀ c. DSIGN c ~ Ed25519DSIGN ⇒ VerificationKey → (VKey 'Witness c, ChainCode) Source #

makeBootstrapWitness ∷ ∀ c. (DSIGN c ~ Ed25519DSIGN, Crypto c) ⇒ Hash c EraIndependentTxBody → SigningKey → Attributes AddrAttributes → BootstrapWitness c Source #

verifyBootstrapWit ∷ ∀ c. (Crypto c, Signable (DSIGN c) (Hash c EraIndependentTxBody)) ⇒ Hash c EraIndependentTxBody → BootstrapWitness c → Bool Source #

eqBootstrapWitnessRaw ∷ Crypto c ⇒ BootstrapWitness c → BootstrapWitness c → Bool Source #