Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Keys.WitVKey

Synopsis

data WitVKey kr c where
- pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c
witVKeyBytes ∷ WitVKey kr c → ByteString
witVKeyHash ∷ WitVKey kr c → KeyHash 'Witness c
eqWitVKeyRaw ∷ (Crypto c, Typeable kr) ⇒ WitVKey kr c → WitVKey kr c → Bool

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 decCBOR ∷ Decoder s (Annotator (WitVKey kr c)) Source # dropCBOR ∷ Proxy (Annotator (WitVKey kr c)) → Decoder s () Source # label ∷ Proxy (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) ∷ Type → Type Source # Methods from ∷ WitVKey kr c → Rep (WitVKey kr c) x Source # to ∷ Rep (WitVKey kr c) x → WitVKey kr c Source #
Crypto c ⇒ Show (WitVKey kr c) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods showsPrec ∷ Int → WitVKey kr c → ShowS Source # show ∷ WitVKey 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 toCBOR ∷ WitVKey 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 encCBOR ∷ WitVKey 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 eqRaw ∷ WitVKey kr c → WitVKey kr c → Bool Source #
NFData (WitVKey kr c) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods rnf ∷ WitVKey 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 compare ∷ WitVKey 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 # max ∷ WitVKey kr c → WitVKey kr c → WitVKey kr c Source # min ∷ WitVKey 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 Methods noThunks ∷ Context → WitVKey kr c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WitVKey kr c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WitVKey kr c) → String Source #
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.12.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))))

witVKeyBytes ∷ WitVKey kr c → ByteString Source #

Access CBOR encoded representation of the witness. Evaluated lazily

witVKeyHash ∷ WitVKey kr c → KeyHash 'Witness c Source #

Access computed hash. Evaluated lazily

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