Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Address.Bootstrap

Synopsis

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

Documentation

data BootstrapWitness era where Source #

Bundled Patterns

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

Instances

Instances details

Era era ⇒ Eq (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods (==) ∷ BootstrapWitness era → BootstrapWitness era → Bool # (/=) ∷ BootstrapWitness era → BootstrapWitness era → Bool #
Era era ⇒ Ord (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods compare ∷ BootstrapWitness era → BootstrapWitness era → Ordering # (<) ∷ BootstrapWitness era → BootstrapWitness era → Bool # (<=) ∷ BootstrapWitness era → BootstrapWitness era → Bool # (>) ∷ BootstrapWitness era → BootstrapWitness era → Bool # (>=) ∷ BootstrapWitness era → BootstrapWitness era → Bool # max ∷ BootstrapWitness era → BootstrapWitness era → BootstrapWitness era # min ∷ BootstrapWitness era → BootstrapWitness era → BootstrapWitness era #
Era era ⇒ Show (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods showsPrec ∷ Int → BootstrapWitness era → ShowS # show ∷ BootstrapWitness era → String # showList ∷ [BootstrapWitness era] → ShowS #
Generic (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Associated Types type Rep (BootstrapWitness era) ∷ Type → Type # Methods from ∷ BootstrapWitness era → Rep (BootstrapWitness era) x # to ∷ Rep (BootstrapWitness era) x → BootstrapWitness era #
Era era ⇒ ToCBOR (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods toCBOR ∷ BootstrapWitness era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BootstrapWitness era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BootstrapWitness era] → Size Source #
Era era ⇒ FromCBOR (Annotator (BootstrapWitness era)) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods fromCBOR ∷ Decoder s (Annotator (BootstrapWitness era)) Source # label ∷ Proxy (Annotator (BootstrapWitness era)) → Text Source #
Era era ⇒ NoThunks (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods noThunks ∷ Context → BootstrapWitness era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → BootstrapWitness era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (BootstrapWitness era) → String
type Rep (BootstrapWitness era) Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap type Rep (BootstrapWitness era) = D1 ('MetaData "BootstrapWitness" "Shelley.Spec.Ledger.Address.Bootstrap" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "BootstrapWitness'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'Witness (Crypto era))) :: S1 ('MetaSel ('Just "bwSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (Crypto era) (Hash (Crypto era) 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

Eq ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods (==) ∷ ChainCode → ChainCode → Bool # (/=) ∷ ChainCode → ChainCode → Bool #
Show ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods showsPrec ∷ Int → ChainCode → ShowS # show ∷ ChainCode → String # showList ∷ [ChainCode] → ShowS #
Generic ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Associated Types type Rep ChainCode ∷ Type → Type # Methods from ∷ ChainCode → Rep ChainCode x # to ∷ Rep ChainCode x → ChainCode #
ToCBOR ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods toCBOR ∷ ChainCode → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ChainCode → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ChainCode] → Size Source #
FromCBOR ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods fromCBOR ∷ Decoder s ChainCode Source # label ∷ Proxy ChainCode → Text Source #
NoThunks ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap Methods noThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) wNoThunks ∷ Context → ChainCode → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy ChainCode → String
type Rep ChainCode Source #
Instance details Defined in Shelley.Spec.Ledger.Address.Bootstrap type Rep ChainCode = D1 ('MetaData "ChainCode" "Shelley.Spec.Ledger.Address.Bootstrap" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ChainCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unChainCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

bootstrapWitKeyHash ∷ ∀ era. Era era ⇒ BootstrapWitness era → KeyHash 'Witness (Crypto era) Source #

Rebuild the addrRoot of the corresponding address.

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

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

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