Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Keys.WitVKey

Synopsis

data WitVKey (kr ∷ KeyRole) where
- pattern WitVKey ∷ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr
witVKeyHash ∷ ∀ (kr ∷ KeyRole). WitVKey kr → KeyHash 'Witness

Documentation

data WitVKey (kr ∷ KeyRole) 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

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 (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 ⇒ 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 #

NFData (WitVKey kr) Source #

Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

rnf ∷ WitVKey kr → () #

Generic (WitVKey kr) Source #

Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Associated Types

type Rep (WitVKey kr)

Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.19.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)))))

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 #

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.19.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 ∷ ∀ (kr ∷ KeyRole). WitVKey kr → KeyHash 'Witness Source #

Access computed hash. Evaluated lazily