cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Keys.WitVKey

Synopsis

Documentation

data WitVKey kr c where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c 

Instances

Instances details
(Typeable kr, Crypto c) ⇒ DecCBOR (Annotator (WitVKey kr c)) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

decCBORDecoder s (Annotator (WitVKey kr c)) Source #

dropCBORProxy (Annotator (WitVKey kr c)) → Decoder s () Source #

labelProxy (Annotator (WitVKey kr c)) → Text Source #

Generic (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Associated Types

type Rep (WitVKey kr c) ∷ TypeType Source #

Methods

fromWitVKey kr c → Rep (WitVKey kr c) x Source #

toRep (WitVKey kr c) x → WitVKey kr c Source #

Crypto c ⇒ Show (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

showsPrecIntWitVKey kr c → ShowS Source #

showWitVKey kr c → String Source #

showList ∷ [WitVKey kr c] → ShowS Source #

(Typeable kr, Crypto c) ⇒ ToCBOR (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

toCBORWitVKey kr c → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #

(Typeable kr, Crypto c) ⇒ EncCBOR (WitVKey kr c) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

encCBORWitVKey kr c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #

(Crypto c, Typeable kr) ⇒ EqRaw (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

eqRawWitVKey kr c → WitVKey kr c → Bool Source #

NFData (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

rnfWitVKey kr c → () Source #

Crypto c ⇒ Eq (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

(==)WitVKey kr c → WitVKey kr c → Bool Source #

(/=)WitVKey kr c → WitVKey kr c → Bool Source #

(Typeable kr, Crypto c) ⇒ Ord (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

compareWitVKey kr c → WitVKey kr c → Ordering Source #

(<)WitVKey kr c → WitVKey kr c → Bool Source #

(<=)WitVKey kr c → WitVKey kr c → Bool Source #

(>)WitVKey kr c → WitVKey kr c → Bool Source #

(>=)WitVKey kr c → WitVKey kr c → Bool Source #

maxWitVKey kr c → WitVKey kr c → WitVKey kr c Source #

minWitVKey kr c → WitVKey kr c → WitVKey kr c Source #

(Crypto c, Typeable kr) ⇒ NoThunks (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr c) Source # 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr c) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr c)) :*: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness c)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

witVKeyBytesWitVKey kr c → ByteString Source #

Access CBOR encoded representation of the witness. Evaluated lazily

witVKeyHashWitVKey kr c → KeyHash 'Witness c Source #

Access computed hash. Evaluated lazily

eqWitVKeyRaw ∷ (Crypto c, Typeable kr) ⇒ WitVKey kr c → WitVKey kr c → Bool Source #