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

Instances details

Generic (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Associated Types type Rep (WitVKey kr) ∷ Type → Type # Methods from ∷ WitVKey kr → Rep (WitVKey kr) x # to ∷ Rep (WitVKey kr) x → WitVKey kr #
Show (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods showsPrec ∷ Int → WitVKey kr → ShowS # show ∷ WitVKey kr → String # showList ∷ [WitVKey kr] → ShowS #
Typeable kr ⇒ FromCBOR (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods fromCBOR ∷ Decoder s (WitVKey kr) Source # label ∷ Proxy (WitVKey kr) → Text Source #
Typeable kr ⇒ ToCBOR (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods toCBOR ∷ WitVKey kr → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr] → Size Source #
Typeable kr ⇒ DecCBOR (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods decCBOR ∷ Decoder s (WitVKey kr) Source # dropCBOR ∷ Proxy (WitVKey kr) → Decoder s () Source # label ∷ Proxy (WitVKey kr) → Text Source #
Typeable kr ⇒ EncCBOR (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods encCBOR ∷ WitVKey kr → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr] → Size Source #
NFData (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods rnf ∷ WitVKey kr → () #
Eq (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods (==) ∷ WitVKey kr → WitVKey kr → Bool # (/=) ∷ WitVKey kr → WitVKey kr → Bool #
Typeable kr ⇒ Ord (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods compare ∷ WitVKey kr → WitVKey kr → Ordering # (<) ∷ WitVKey kr → WitVKey kr → Bool # (<=) ∷ WitVKey kr → WitVKey kr → Bool # (>) ∷ WitVKey kr → WitVKey kr → Bool # (>=) ∷ WitVKey kr → WitVKey kr → Bool # max ∷ WitVKey kr → WitVKey kr → WitVKey kr # min ∷ WitVKey kr → WitVKey kr → WitVKey kr #
Typeable kr ⇒ NoThunks (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods noThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WitVKey kr → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WitVKey kr) → String Source #
type Rep (WitVKey kr) Source #
Instance details 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)))))

witVKeyHash ∷ WitVKey kr → KeyHash 'Witness Source #

Access computed hash. Evaluated lazily

wvkSig ∷ WitVKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) Source #

Deprecated: In favor of wvkSignature