Modulecardano-ledger-alonzo-1.16.0.0
Cardano.Ledger.Alonzo.TxWits
- 6 types
- 1 class
- 21 values
- Packagecardano-ledger-alonzo-1.16.0.0
- Exports31
- LicenceApache-2.0
value
bootAddrAlonzoTxWitsL :: AlonzoEraScript era => Lens' (AlonzoTxWits era) (Set BootstrapWitness)value
hashDataTxWitsL :: AlonzoEraTxWits era => Lens (TxWits era) (TxWits era) (TxDats era) [Data era]value
scriptAlonzoTxWitsL :: AlonzoEraScript era => Lens' (AlonzoTxWits era) (Map ScriptHash (Script era))value
unRedeemersL :: AlonzoEraScript era => Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))Methods
datsTxWitsL :: Lens' (TxWits era) (TxDats era)rdmrsTxWitsL :: Lens' (TxWits era) (Redeemers era)
Instances1AlonzoEraTxWits
AlonzoEraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Constructors
MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))
Instances15Eq, Show, Generic, Semigroup, Monoid, NFData, …
AlonzoEraScript era => Eq (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Show (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Semigroup (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Monoid (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era)) => NFData (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NoThunks (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsTypeable era => ToCBOR (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits(AlonzoEraScript era, DecCBOR (Annotator (NativeScript era))) => DecCBOR (Annotator (AlonzoTxWits era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => EncCBOR (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsSafeToHash (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits(TxWits era ~ AlonzoTxWits era, AlonzoEraTxWits era) => EqRaw (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsMemoized (AlonzoTxWits era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (AlonzoTxWits era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits"AlonzoTxWits"
"Cardano.Ledger.Alonzo.TxWits"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"MkAlonzoTxWits"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxWitsRaw era)))))type RawType (AlonzoTxWits era) = AlonzoTxWitsRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
pattern
pattern AlonzoTxWits :: AlonzoEraScript era => Set (WitVKey Witness) -> Set BootstrapWitness -> Map ScriptHash (Script era) -> TxDats era -> Redeemers era -> AlonzoTxWits eraConstructors
AlonzoTxWitsRawatwrAddrTxWits :: !Set (WitVKey Witness)atwrBootAddrTxWits :: !Set BootstrapWitnessatwrScriptTxWits :: !Map ScriptHash (Script era)atwrDatsTxWits :: !TxDats eraatwrRdmrsTxWits :: !Redeemers era
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
AlonzoEraScript era => Eq (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Show (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era)) => NFData (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NoThunks (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits(AlonzoEraScript era, DecCBOR (Annotator (NativeScript era))) => DecCBOR (Annotator (AlonzoTxWitsRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => EncCBOR (AlonzoTxWitsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (AlonzoTxWitsRaw era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits"AlonzoTxWitsRaw"
"Cardano.Ledger.Alonzo.TxWits"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'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))))))
Constructors
MkRedeemers (MemoBytes (RedeemersRaw era))
Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
AlonzoEraScript era => Eq (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Show (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Semigroup (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Monoid (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NFData (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NoThunks (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsTypeable era => ToCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => DecCBOR (Annotator (Redeemers era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => EncCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsSafeToHash (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsMemoized (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype RawType (Redeemers era) = RedeemersRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
pattern
pattern Redeemers :: AlonzoEraScript era => Map (PlutusPurpose AsIx era) (Data era, ExUnits) -> Redeemers eraConstructors
RedeemersRawunRedeemersRaw :: Map (PlutusPurpose AsIx era) (Data era, ExUnits)
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
AlonzoEraScript era => Eq (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => Show (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NFData (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => NoThunks (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => DecCBOR (Annotator (RedeemersRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsAlonzoEraScript era => EncCBOR (RedeemersRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (RedeemersRaw era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits"RedeemersRaw"
"Cardano.Ledger.Alonzo.TxWits"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"RedeemersRaw"
'PrefixI 'True) (S1 ('MetaSel ('Just"unRedeemersRaw"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PlutusPurpose AsIx era) (Data era, ExUnits)))))
Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
Eq (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsShow (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => Semigroup (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => Monoid (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsNFData (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsTypeable era => NoThunks (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsTypeable era => ToCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => DecCBOR (Annotator (TxDats era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => EncCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsSafeToHash (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsMemoized (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (TxDats era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits"TxDats"
"Cardano.Ledger.Alonzo.TxWits"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"MkTxDats"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxDatsRaw era)))))type RawType (TxDats era) = TxDatsRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Constructors
TxDatsRawunTxDatsRaw :: Map DataHash (Data era)
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
Eq (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsShow (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsGeneric (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsNFData (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsTypeable era => NoThunks (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEra era => DecCBOR (Annotator (TxDatsRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitsEncCBOR (Data era) => EncCBOR (TxDatsRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWitstype Rep (TxDatsRaw era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits"TxDatsRaw"
"Cardano.Ledger.Alonzo.TxWits"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"TxDatsRaw"
'PrefixI 'True) (S1 ('MetaSel ('Just"unTxDatsRaw"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era)))))