Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Keys.WitVKey
Synopsis
- data WitVKey kr where
- pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr
- witVKeyHash ∷ WitVKey kr → KeyHash 'Witness
- wvkSig ∷ WitVKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)
Documentation
data WitVKey kr where Source #
Proof/Witness that a transaction is authorized by the given key holder.
Bundled Patterns
pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr |
Instances
Generic (WitVKey kr) Source # | |
Show (WitVKey kr) Source # | |
Typeable kr ⇒ FromCBOR (WitVKey kr) Source # | |
Typeable kr ⇒ ToCBOR (WitVKey kr) Source # | |
Typeable kr ⇒ DecCBOR (Annotator (WitVKey kr)) Source # | |
Typeable kr ⇒ DecCBOR (WitVKey kr) Source # | |
Typeable kr ⇒ EncCBOR (WitVKey kr) Source # | |
NFData (WitVKey kr) Source # | |
Defined in Cardano.Ledger.Keys.WitVKey | |
Eq (WitVKey kr) Source # | |
Typeable kr ⇒ Ord (WitVKey kr) Source # | |
Defined in Cardano.Ledger.Keys.WitVKey | |
Typeable kr ⇒ NoThunks (WitVKey kr) Source # | |
type Rep (WitVKey kr) Source # | |
Defined in Cardano.Ledger.Keys.WitVKey type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.18.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr)) :*: (S1 ('MetaSel ('Just "wvkSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))) :*: S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness))))) |
wvkSig ∷ WitVKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) Source #
Deprecated: In favor of wvkSignature