Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Keys.WitVKey

Synopsis

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

Documentation

data WitVKey kr where Source #

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

Bundled Patterns

pattern WitVKey ∷ Typeable kr ⇒ 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 ⇒ 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 (Annotator (WitVKey kr)) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods decCBOR ∷ Decoder s (Annotator (WitVKey kr)) Source # dropCBOR ∷ Proxy (Annotator (WitVKey kr)) → Decoder s () Source # label ∷ Proxy (Annotator (WitVKey kr)) → Text Source #
Typeable kr ⇒ EncCBOR (WitVKey kr) Source #	Encodes memoized bytes created upon construction.
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 #
Typeable kr ⇒ EqRaw (WitVKey kr) Source #
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods eqRaw ∷ WitVKey kr → WitVKey kr → Bool 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.17.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr)) :: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

witVKeyBytes ∷ WitVKey kr → ByteString Source #

Access CBOR encoded representation of the witness. Evaluated lazily

witVKeyHash ∷ WitVKey kr → KeyHash 'Witness Source #

Access computed hash. Evaluated lazily

eqWitVKeyRaw ∷ Typeable kr ⇒ WitVKey kr → WitVKey kr → Bool Source #