Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxWits

Contents

Orphan instances

Synopsis

newtype Redeemers era where
- MkRedeemers (MemoBytes (RedeemersRaw era))
- pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era
newtype RedeemersRaw era = RedeemersRaw {
- unRedeemersRaw ∷ Map (PlutusPurpose AsIx era) (Data era, ExUnits)
}
unRedeemersL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))
unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits)
nullRedeemers ∷ Redeemers era → Bool
lookupRedeemer ∷ Ord (PlutusPurpose AsIx era) ⇒ PlutusPurpose AsIx era → Redeemers era → Maybe (Data era, ExUnits)
upgradeRedeemers ∷ ∀ era. (AlonzoEraScript (PreviousEra era), AlonzoEraScript era) ⇒ Redeemers (PreviousEra era) → Redeemers era
newtype TxDats era where
- MkTxDats (MemoBytes (TxDatsRaw era))
- pattern TxDats ∷ ∀ era. Era era ⇒ Map DataHash (Data era) → TxDats era
- pattern TxDats' ∷ Map DataHash (Data era) → TxDats era
newtype TxDatsRaw era = TxDatsRaw {
- unTxDatsRaw ∷ Map DataHash (Data era)
}
upgradeTxDats ∷ (Era era1, Era era2) ⇒ TxDats era1 → TxDats era2
newtype AlonzoTxWits era where
- MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))
- pattern AlonzoTxWits ∷ ∀ era. AlonzoEraScript era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
- pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
data AlonzoTxWitsRaw era = AlonzoTxWitsRaw {
- atwrAddrTxWits ∷ !(Set (WitVKey 'Witness))
- atwrBootAddrTxWits ∷ !(Set BootstrapWitness)
- atwrScriptTxWits ∷ !(Map ScriptHash (Script era))
- atwrDatsTxWits ∷ !(TxDats era)
- atwrRdmrsTxWits ∷ !(Redeemers era)
}
addrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness))
bootAddrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness)
scriptAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era))
datsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era)
rdmrsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era)
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)
hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era]
unTxDats ∷ TxDats era → Map DataHash (Data era)
unTxDatsL ∷ ∀ era. Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era))
nullDats ∷ TxDats era → Bool
alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool
emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era
addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era
decodeAlonzoPlutusScript ∷ (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era))
asHashedScriptPair ∷ ∀ era. EraScript era ⇒ Script era → (ScriptHash, Script era)

Documentation

newtype Redeemers era Source #

Note that Redeemers are based on MemoBytes since we must preserve the original bytes for the ScriptIntegrity. Since the Redeemers exist outside of the transaction body, this is how we ensure that they are not manipulated.

Constructors

MkRedeemers (MemoBytes (RedeemersRaw era))

Bundled Patterns

pattern Redeemers ∷ ∀ era. AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era

Instances

Instances details

AlonzoEraScript era ⇒ Monoid (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods mempty ∷ Redeemers era # mappend ∷ Redeemers era → Redeemers era → Redeemers era # mconcat ∷ [Redeemers era] → Redeemers era #
AlonzoEraScript era ⇒ Semigroup (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (<>) ∷ Redeemers era → Redeemers era → Redeemers era # sconcat ∷ NonEmpty (Redeemers era) → Redeemers era # stimes ∷ Integral b ⇒ b → Redeemers era → Redeemers era #
Generic (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (Redeemers era) ∷ Type → Type # Methods from ∷ Redeemers era → Rep (Redeemers era) x # to ∷ Rep (Redeemers era) x → Redeemers era #
AlonzoEraScript era ⇒ Show (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → Redeemers era → ShowS # show ∷ Redeemers era → String # showList ∷ [Redeemers era] → ShowS #
Typeable era ⇒ ToCBOR (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR ∷ Redeemers era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Redeemers era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Redeemers era] → Size Source #
AlonzoEraScript era ⇒ DecCBOR (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (Redeemers era) Source # dropCBOR ∷ Proxy (Redeemers era) → Decoder s () Source # label ∷ Proxy (Redeemers era) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (Redeemers era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR ∷ Redeemers era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Redeemers era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Redeemers era] → Size Source #
SafeToHash (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods originalBytes ∷ Redeemers era → ByteString Source # originalBytesSize ∷ Redeemers era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → Redeemers era → SafeHash i Source #
Memoized (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type RawType (Redeemers era) = (r ∷ Type) Source # Methods getMemoBytes ∷ Redeemers era → MemoBytes (RawType (Redeemers era)) wrapMemoBytes ∷ MemoBytes (RawType (Redeemers era)) → Redeemers era
AlonzoEraScript era ⇒ NFData (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ Redeemers era → () #
AlonzoEraScript era ⇒ Eq (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ Redeemers era → Redeemers era → Bool # (/=) ∷ Redeemers era → Redeemers era → Bool #
AlonzoEraScript era ⇒ NoThunks (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks ∷ Context → Redeemers era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Redeemers era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Redeemers era) → String Source #
type Rep (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))
type RawType (Redeemers era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType (Redeemers era) = RedeemersRaw era

newtype RedeemersRaw era Source #

Constructors

RedeemersRaw
Fields unRedeemersRaw ∷ Map (PlutusPurpose AsIx era) (Data era, ExUnits)

Instances

Instances details

Generic (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (RedeemersRaw era) ∷ Type → Type # Methods from ∷ RedeemersRaw era → Rep (RedeemersRaw era) x # to ∷ Rep (RedeemersRaw era) x → RedeemersRaw era #
AlonzoEraScript era ⇒ Show (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → RedeemersRaw era → ShowS # show ∷ RedeemersRaw era → String # showList ∷ [RedeemersRaw era] → ShowS #
AlonzoEraScript era ⇒ DecCBOR (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (RedeemersRaw era) Source # dropCBOR ∷ Proxy (RedeemersRaw era) → Decoder s () Source # label ∷ Proxy (RedeemersRaw era) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR ∷ RedeemersRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RedeemersRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RedeemersRaw era] → Size Source #
AlonzoEraScript era ⇒ NFData (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ RedeemersRaw era → () #
AlonzoEraScript era ⇒ Eq (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ RedeemersRaw era → RedeemersRaw era → Bool # (/=) ∷ RedeemersRaw era → RedeemersRaw era → Bool #
AlonzoEraScript era ⇒ NoThunks (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks ∷ Context → RedeemersRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RedeemersRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RedeemersRaw era) → String Source #
type Rep (RedeemersRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (RedeemersRaw era) = D1 ('MetaData "RedeemersRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "RedeemersRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRedeemersRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PlutusPurpose AsIx era) (Data era, ExUnits)))))

unRedeemersL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits)) Source #

unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits) Source #

nullRedeemers ∷ Redeemers era → Bool Source #

Deprecated: In favor of unRedeemersL

lookupRedeemer ∷ Ord (PlutusPurpose AsIx era) ⇒ PlutusPurpose AsIx era → Redeemers era → Maybe (Data era, ExUnits) Source #

Deprecated: In favor of unRedeemersL

upgradeRedeemers ∷ ∀ era. (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.

newtype TxDats era Source #

Note that TxDats are based on MemoBytes since we must preserve the original bytes for the ScriptIntegrity. Since the TxDats exist outside of the transaction body, this is how we ensure that they are not manipulated.

Constructors

MkTxDats (MemoBytes (TxDatsRaw era))

Bundled Patterns

pattern TxDats ∷ ∀ era. Era era ⇒ Map DataHash (Data era) → TxDats era
pattern TxDats' ∷ Map DataHash (Data era) → TxDats era	Deprecated: In favor of `TxDats`

Instances

Instances details

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

newtype TxDatsRaw era Source #

Constructors

TxDatsRaw
Fields unTxDatsRaw ∷ Map DataHash (Data era)

Instances

Instances details

Generic (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (TxDatsRaw era) ∷ Type → Type # Methods from ∷ TxDatsRaw era → Rep (TxDatsRaw era) x # to ∷ Rep (TxDatsRaw era) x → TxDatsRaw era #
Show (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → TxDatsRaw era → ShowS # show ∷ TxDatsRaw era → String # showList ∷ [TxDatsRaw era] → ShowS #
Era era ⇒ DecCBOR (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (TxDatsRaw era) Source # dropCBOR ∷ Proxy (TxDatsRaw era) → Decoder s () Source # label ∷ Proxy (TxDatsRaw era) → Text Source #
(Typeable era, EncCBOR (Data era)) ⇒ EncCBOR (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR ∷ TxDatsRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (TxDatsRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxDatsRaw era] → Size Source #
NFData (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ TxDatsRaw era → () #
Eq (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ TxDatsRaw era → TxDatsRaw era → Bool # (/=) ∷ TxDatsRaw era → TxDatsRaw era → Bool #
Typeable era ⇒ NoThunks (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks ∷ Context → TxDatsRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxDatsRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxDatsRaw era) → String Source #
type Rep (TxDatsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (TxDatsRaw era) = D1 ('MetaData "TxDatsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era)))))

upgradeTxDats ∷ (Era era1, Era 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.

newtype AlonzoTxWits era Source #

Constructors

MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))

Bundled Patterns

pattern AlonzoTxWits ∷ ∀ era. AlonzoEraScript era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era	Deprecated: In favor of `AlonzoTxWits`

Instances

Instances details

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods mempty ∷ AlonzoTxWits era # mappend ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era # mconcat ∷ [AlonzoTxWits era] → AlonzoTxWits era #
AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (<>) ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era # sconcat ∷ NonEmpty (AlonzoTxWits era) → AlonzoTxWits era # stimes ∷ Integral b ⇒ b → AlonzoTxWits era → AlonzoTxWits era #
Generic (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (AlonzoTxWits era) ∷ Type → Type # Methods from ∷ AlonzoTxWits era → Rep (AlonzoTxWits era) x # to ∷ Rep (AlonzoTxWits era) x → AlonzoTxWits era #
AlonzoEraScript era ⇒ Show (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → AlonzoTxWits era → ShowS # show ∷ AlonzoTxWits era → String # showList ∷ [AlonzoTxWits era] → ShowS #
Typeable era ⇒ ToCBOR (AlonzoTxWits era) Source #
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 (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (AlonzoTxWits era) Source # dropCBOR ∷ Proxy (AlonzoTxWits era) → Decoder s () Source # label ∷ Proxy (AlonzoTxWits era) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxWits era) Source #	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 #
SafeToHash (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods originalBytes ∷ AlonzoTxWits era → ByteString Source # originalBytesSize ∷ AlonzoTxWits era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxWits era → SafeHash i Source #
(TxWits era ~ AlonzoTxWits era, AlonzoEraTxWits era) ⇒ EqRaw (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods eqRaw ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #
Memoized (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type RawType (AlonzoTxWits era) = (r ∷ Type) Source # Methods getMemoBytes ∷ AlonzoTxWits era → MemoBytes (RawType (AlonzoTxWits era)) wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxWits era)) → AlonzoTxWits era
(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era)) ⇒ NFData (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ AlonzoTxWits era → () #
AlonzoEraScript era ⇒ Eq (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool # (/=) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool #
AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era) Source #
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 Rep (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (AlonzoTxWits era) = D1 ('MetaData "AlonzoTxWits" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxWitsRaw era)))))
type RawType (AlonzoTxWits era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType (AlonzoTxWits era) = AlonzoTxWitsRaw era

data AlonzoTxWitsRaw era Source #

Internal AlonzoTxWits type, lacking serialised bytes.

Constructors

AlonzoTxWitsRaw
Fields atwrAddrTxWits ∷ !(Set (WitVKey 'Witness)) atwrBootAddrTxWits ∷ !(Set BootstrapWitness) atwrScriptTxWits ∷ !(Map ScriptHash (Script era)) atwrDatsTxWits ∷ !(TxDats era) atwrRdmrsTxWits ∷ !(Redeemers era)

Instances

Instances details

Generic (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Associated Types type Rep (AlonzoTxWitsRaw era) ∷ Type → Type # Methods from ∷ AlonzoTxWitsRaw era → Rep (AlonzoTxWitsRaw era) x # to ∷ Rep (AlonzoTxWitsRaw era) x → AlonzoTxWitsRaw era #
AlonzoEraScript era ⇒ Show (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods showsPrec ∷ Int → AlonzoTxWitsRaw era → ShowS # show ∷ AlonzoTxWitsRaw era → String # showList ∷ [AlonzoTxWitsRaw era] → ShowS #
AlonzoEraScript era ⇒ DecCBOR (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods decCBOR ∷ Decoder s (AlonzoTxWitsRaw era) Source # dropCBOR ∷ Proxy (AlonzoTxWitsRaw era) → Decoder s () Source # label ∷ Proxy (AlonzoTxWitsRaw era) → Text Source #
AlonzoEraScript era ⇒ EncCBOR (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods encCBOR ∷ AlonzoTxWitsRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWitsRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWitsRaw era] → Size Source #
(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era)) ⇒ NFData (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ AlonzoTxWitsRaw era → () #
AlonzoEraScript era ⇒ Eq (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ AlonzoTxWitsRaw era → AlonzoTxWitsRaw era → Bool # (/=) ∷ AlonzoTxWitsRaw era → AlonzoTxWitsRaw era → Bool #
AlonzoEraScript era ⇒ NoThunks (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods noThunks ∷ Context → AlonzoTxWitsRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxWitsRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxWitsRaw era) → String Source #
type Rep (AlonzoTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (AlonzoTxWitsRaw era) = D1 ('MetaData "AlonzoTxWitsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxWitsRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "atwrAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness))) :: S1 ('MetaSel ('Just "atwrBootAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set BootstrapWitness))) :: (S1 ('MetaSel ('Just "atwrScriptTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScriptHash (Script era))) :: (S1 ('MetaSel ('Just "atwrDatsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :: S1 ('MetaSel ('Just "atwrRdmrsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era))))))

addrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness)) Source #

bootAddrAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness) Source #

scriptAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era)) Source #

datsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era) Source #

rdmrsAlonzoTxWitsL ∷ ∀ era. AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era) Source #

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 ⇒ AlonzoEraTxWits AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era] Source #

This is a convenience Lens that will hash the Data when it is being added to the TxWits. See datsTxWitsL for a version that aloows setting TxDats instead.

unTxDats ∷ TxDats era → Map DataHash (Data era) Source #

unTxDatsL ∷ ∀ era. Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era)) Source #

nullDats ∷ TxDats era → Bool Source #

Deprecated: In favor of unTxDatsL

alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool Source #

emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era Source #

addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era Source #

decodeAlonzoPlutusScript ∷ (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era)) Source #