Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.TxWits

Contents

Orphan instances

Documentation

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

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

newtype AlonzoTxWits era Source #

Constructors

MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))

Bundled Patterns

pattern AlonzoTxWits ∷ 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

Instances

Instances details

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era)
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)
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)
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)
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)
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 (NativeScript 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 #
SafeToHash (AlonzoTxWits era)
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)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods eqRaw ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #
Memoized (AlonzoTxWits era)
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)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods rnf ∷ AlonzoTxWits era → () #
AlonzoEraScript era ⇒ Eq (AlonzoTxWits era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods (==) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool # (/=) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool #
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 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.15.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)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType (AlonzoTxWits era) = AlonzoTxWitsRaw era

Orphan instances

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