cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.TxWits

Synopsis

Documentation

keyByOrd k ⇒ (a → k) → [a] → Map k a Source #

Deprecated: In favor of fromElems

decodeWits ∷ ∀ era s. EraScript era ⇒ Decoder s (Annotator (ShelleyTxWitsRaw era)) Source #

data ShelleyTxWits era where Source #

Bundled Patterns

pattern ShelleyTxWits ∷ ∀ era. EraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → Set (BootstrapWitness (EraCrypto era)) → ShelleyTxWits era 

Instances

Instances details
Memoized ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type RawType ShelleyTxWits = (r ∷ TypeType) Source #

EraScript era ⇒ Monoid (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

EraScript era ⇒ Semigroup (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Generic (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type Rep (ShelleyTxWits era) ∷ TypeType Source #

Methods

fromShelleyTxWits era → Rep (ShelleyTxWits era) x Source #

toRep (ShelleyTxWits era) x → ShelleyTxWits era Source #

EraScript era ⇒ Show (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Typeable era ⇒ ToCBOR (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

toCBORShelleyTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWits era] → Size Source #

EraScript era ⇒ DecCBOR (Annotator (ShelleyTxWits era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Era era ⇒ EncCBOR (ShelleyTxWits era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

encCBORShelleyTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWits era] → Size Source #

(TxWits era ~ ShelleyTxWits era, EraTxWits era) ⇒ EqRaw (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

eqRawShelleyTxWits era → ShelleyTxWits era → Bool Source #

SafeToHash (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

(Era era, NFData (Script era), NFData (WitVKey 'Witness (EraCrypto era)), NFData (BootstrapWitness (EraCrypto era))) ⇒ NFData (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

rnfShelleyTxWits era → () Source #

EraScript era ⇒ Eq (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

(==)ShelleyTxWits era → ShelleyTxWits era → Bool Source #

(/=)ShelleyTxWits era → ShelleyTxWits era → Bool Source #

EraScript era ⇒ NoThunks (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type RawType ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Rep (ShelleyTxWits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Rep (ShelleyTxWits era) = D1 ('MetaData "ShelleyTxWits" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.12.2.1-inplace" 'True) (C1 ('MetaCons "ShelleyTxWitsConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxWitsRaw era))))

data ShelleyTxWitsRaw era Source #

Instances

Instances details
Generic (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type Rep (ShelleyTxWitsRaw era) ∷ TypeType Source #

EraScript era ⇒ Show (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

EraScript era ⇒ DecCBOR (Annotator (ShelleyTxWitsRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

(Era era, EncCBOR (Script era)) ⇒ EncCBOR (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

encCBORShelleyTxWitsRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWitsRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWitsRaw era] → Size Source #

(Era era, NFData (Script era), NFData (WitVKey 'Witness (EraCrypto era)), NFData (BootstrapWitness (EraCrypto era))) ⇒ NFData (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

rnfShelleyTxWitsRaw era → () Source #

EraScript era ⇒ Eq (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

EraScript era ⇒ NoThunks (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Rep (ShelleyTxWitsRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Rep (ShelleyTxWitsRaw era) = D1 ('MetaData "ShelleyTxWitsRaw" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ShelleyTxWitsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "scriptWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (ScriptHash (EraCrypto era)) (Script era))) :*: S1 ('MetaSel ('Just "bootWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (BootstrapWitness (EraCrypto era)))))))

scriptShelleyTxWitsLEraScript era ⇒ Lens' (ShelleyTxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) Source #

Script witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

addrShelleyTxWitsLEraScript era ⇒ Lens' (ShelleyTxWits era) (Set (WitVKey 'Witness (EraCrypto era))) Source #

Addresses witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

bootAddrShelleyTxWitsLEraScript era ⇒ Lens' (ShelleyTxWits era) (Set (BootstrapWitness (EraCrypto era))) Source #

Bootstrap Addresses witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

shelleyEqTxWitsRawEraTxWits era ⇒ TxWits era → TxWits era → Bool Source #

mapTraverseableDecoderATraversable f ⇒ Decoder s (f (Annotator a)) → (f a → m b) → Decoder s (Annotator (m b)) Source #

Re-exports

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

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) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

eqRawWitVKey kr c → WitVKey kr c → Bool Source #

NFData (WitVKey kr c) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

Methods

rnfWitVKey kr c → () Source #

Crypto c ⇒ Eq (WitVKey kr c) 
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) 
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) 
Instance details

Defined in Cardano.Ledger.Keys.WitVKey

type Rep (WitVKey kr c) 
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))))

Orphan instances