Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.TxWits

Contents

Orphan instances

Synopsis

upgradeTxDats ∷ (Era era1, Era era2, EraCrypto era1 ~ EraCrypto era2) ⇒ TxDats era1 → TxDats era2
upgradeRedeemers ∷ (AlonzoEraScript (PreviousEra era), AlonzoEraScript era) ⇒ Redeemers (PreviousEra era) → Redeemers era
data AlonzoTxWits era where
- pattern AlonzoTxWits ∷ AlonzoEraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
- pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)

Documentation

upgradeTxDats ∷ (Era era1, Era era2, EraCrypto era1 ~ EraCrypto era2) ⇒ TxDats era1 → TxDats era2 Source #

Upgrade TxDats from one era to another. The underlying data structure will remain identical, but the memoised serialisation may change to reflect the versioned serialisation of the new era.

upgradeRedeemers ∷ (AlonzoEraScript (PreviousEra era), AlonzoEraScript era) ⇒ Redeemers (PreviousEra era) → Redeemers era Source #

Upgrade redeemers from one era to another. The underlying data structure will remain identical, but the memoised serialisation may change to reflect the versioned serialisation of the new era.

data AlonzoTxWits era where Source #

Bundled Patterns

pattern AlonzoTxWits ∷ AlonzoEraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era

Instances

Instances details

Memoized AlonzoTxWits
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type RawType AlonzoTxWits = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxWits era → MemoBytes (RawType AlonzoTxWits) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxWits) era → AlonzoTxWits era
AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods mempty ∷ AlonzoTxWits era Source # mappend ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era Source # mconcat ∷ [AlonzoTxWits era] → AlonzoTxWits era Source #
AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (<>) ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era Source # sconcat ∷ NonEmpty (AlonzoTxWits era) → AlonzoTxWits era Source # stimes ∷ Integral b ⇒ b → AlonzoTxWits era → AlonzoTxWits era Source #
Generic (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (AlonzoTxWits era) ∷ Type → Type Source # Methods from ∷ AlonzoTxWits era → Rep (AlonzoTxWits era) x Source # to ∷ Rep (AlonzoTxWits era) x → AlonzoTxWits era Source #
AlonzoEraScript era ⇒ Show (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → AlonzoTxWits era → ShowS Source # show ∷ AlonzoTxWits era → String Source # showList ∷ [AlonzoTxWits era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR ∷ AlonzoTxWits era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #
AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoTxWits era))
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxWits era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxWits era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxWits era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxWits era)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR ∷ AlonzoTxWits era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #
(TxWits era ~ AlonzoTxWits era, AlonzoEraTxWits era) ⇒ EqRaw (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods eqRaw ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #
SafeToHash (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods originalBytes ∷ AlonzoTxWits era → ByteString Source # originalBytesSize ∷ AlonzoTxWits era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxWits era → SafeHash c index Source #
(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era), NFData (SigDSIGN (DSIGN (EraCrypto era))), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ AlonzoTxWits era → () Source #
AlonzoEraScript era ⇒ Eq (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source # (/=) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #
AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks ∷ Context → AlonzoTxWits era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxWits era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxWits era) → String Source #
type RawType AlonzoTxWits
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType AlonzoTxWits = AlonzoTxWitsRaw
type Rep (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (AlonzoTxWits era) = D1 ('MetaData "AlonzoTxWits" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "TxWitnessConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxWitsRaw era))))

class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #

Methods

datsTxWitsL ∷ Lens' (TxWits era) (TxDats era) Source #

rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era) Source #

Instances

Instances details

(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) Source #
Crypto c ⇒ AlonzoEraTxWits (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (TxDats (BabbageEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Redeemers (BabbageEra c)) Source #

Orphan instances

Crypto c ⇒ AlonzoEraTxWits (BabbageEra c) Source #
Instance details Methods datsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (TxDats (BabbageEra c)) Source # rdmrsTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Redeemers (BabbageEra c)) Source #
Crypto c ⇒ EraTxWits (BabbageEra c) Source #
Instance details Associated Types type TxWits (BabbageEra c) = (r ∷ Type) Source # Methods mkBasicTxWits ∷ TxWits (BabbageEra c) Source # addrTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Set (WitVKey 'Witness (EraCrypto (BabbageEra c)))) Source # bootAddrTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Set (BootstrapWitness (EraCrypto (BabbageEra c)))) Source # scriptTxWitsL ∷ Lens' (TxWits (BabbageEra c)) (Map (ScriptHash (EraCrypto (BabbageEra c))) (Script (BabbageEra c))) Source # upgradeTxWits ∷ TxWits (PreviousEra (BabbageEra c)) → TxWits (BabbageEra c) Source #