Modulecardano-ledger-api-1.14.0.0

Cardano.Ledger.Api.Tx.Wits

9 types
3 classes
8 values

Packagecardano-ledger-api-1.14.0.0
Exports27
LicenceApache-2.0

valuehashDataTxWitsL :: AlonzoEraTxWits era => Lens (TxWits era) (TxWits era) (TxDats era) [Data era]

valueunRedeemers

:: Redeemers era
-> Map (PlutusPurpose AsIx era) (Data era, ExUnits)

valueunRedeemersL :: AlonzoEraScript era => Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))

valueunTxDats :: TxDats era -> Map DataHash (Data era)

valueunTxDatsL :: Era era => Lens' (TxDats era) (Map DataHash (Data era))

valuebinaryUpgradeTxWits

:: (Era era, ToCBOR (TxWits (PreviousEra era)), DecCBOR (Annotator (TxWits era)))
=> TxWits (PreviousEra era)
-> Except DecoderError (TxWits era)

valuehashScriptTxWitsL :: EraTxWits era => Lens (TxWits era) (TxWits era) (Map ScriptHash (Script era)) [Script era]

valuewitVKeyHash :: WitVKey kr -> KeyHash Witness

familytype family PlutusPurpose (f :: Type -> Type -> Type) era

Instances4PlutusPurpose

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan
type PlutusPurpose f DijkstraEra = DijkstraPlutusPurpose f DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts · orphan

datadata AlonzoPlutusPurpose (f :: Type -> Type -> Type) era

Constructors

AlonzoSpending !(f Word32 TxIn)
AlonzoMinting !(f Word32 PolicyID)
AlonzoCertifying !(f Word32 (TxCert era))
AlonzoWithdrawing !(f Word32 AccountAddress)

Instances18Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (NFData a, NFData b) => NFData (f a b), NFData (TxCert era), Era era) => NFData (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (ToJSON a, ToJSON b) => ToJSON (f a b), ToJSON (TxCert era), Era era) => ToJSON (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsIxItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), Era era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) => DecCBOR (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), Era era, EncCBOR (TxCert era)) => EncCBOR (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), Era era, Typeable f, DecCBOR (TxCert era)) => DecCBORGroup (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), Era era, EncCBOR (TxCert era)) => EncCBORGroup (AlonzoPlutusPurpose f era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AlonzoPlutusPurpose f era) = D1 ('MetaData "AlonzoPlutusPurpose" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) ((C1 ('MetaCons "AlonzoSpending" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: C1 ('MetaCons "AlonzoMinting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID)))) :+: (C1 ('MetaCons "AlonzoCertifying" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))) :+: C1 ('MetaCons "AlonzoWithdrawing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

patternpattern AlonzoRewarding :: f Word32 AccountAddress -> AlonzoPlutusPurpose f era

Deprecated. In favor of AlonzoWithdrawing

newtypenewtype AsItem ix it

Constructors

AsItem
- unAsItem :: it

Instances21Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq it => Eq (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord it => Ord (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (TxCert era) => Show (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show it => Show (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Generic it => Generic (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData it => NFData (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
ToJSON it => ToJSON (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks it => NoThunks (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsItem era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Typeable ix, DecCBOR it) => DecCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
EncCBOR it => EncCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AsItem ix it) = Rep itDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

newtypenewtype AsIx ix it

Constructors

AsIx
- unAsIx :: ix

Instances23Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Eq ix => Eq (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraTxCert era, EraPParams era) => Eq (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Ord (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Ord (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord ix => Ord (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Ord (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Show (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Show ix => Show (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, EraTxCert era) => Show (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
Generic ix => Generic (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NFData ix => NFData (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NFData (TxCert era)) => NFData (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
ToJSON ix => ToJSON (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
NoThunks ix => NoThunks (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(EraPParams era, NoThunks (TxCert era)) => NoThunks (DijkstraPlutusPurpose AsIx era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
(Typeable it, DecCBOR ix) => DecCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
EncCBOR ix => EncCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AsIx ix it) = Rep ixDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

classclass (EraTxWits era, AlonzoEraScript era) => AlonzoEraTxWits era where

Methods

datsTxWitsL :: Lens' (TxWits era) (TxDats era)
rdmrsTxWitsL :: Lens' (TxWits era) (Redeemers era)

Instances4AlonzoEraTxWits

AlonzoEraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
AlonzoEraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
AlonzoEraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan

newtypenewtype 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.TxWits
AlonzoEraScript era => Show (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Generic (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => Semigroup (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => Monoid (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => NFData (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => NoThunks (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => ToCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => DecCBOR (Annotator (Redeemers era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
AlonzoEraScript era => EncCBOR (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
SafeToHash (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Memoized (Redeemers era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type RawType (Redeemers era) = RedeemersRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits

patternpattern Redeemers :: AlonzoEraScript era => Map (PlutusPurpose AsIx era) (Data era, ExUnits) -> Redeemers era

newtypenewtype TxDats era

Constructors

MkTxDats (MemoBytes (TxDatsRaw era))

Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Show (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Generic (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => Semigroup (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => Monoid (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
NFData (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => NoThunks (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Typeable era => ToCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => DecCBOR (Annotator (TxDats era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Era era => EncCBOR (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
SafeToHash (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
Memoized (TxDats era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type Rep (TxDats era) = D1 ('MetaData "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)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
type RawType (TxDats era) = TxDatsRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits

patternpattern TxDats :: Era era => Map DataHash (Data era) -> TxDats era

methodupgradeTxWits

:: EraTxWits (PreviousEra era)
=> TxWits (PreviousEra era)
-> TxWits era

classclass (EraTxWits era, AnyEraScript era) => AnyEraTxWits era where

Methods

datsTxWitsG :: SimpleGetter (TxWits era) (Maybe (TxDats era))
rdmrsTxWitsG :: SimpleGetter (TxWits era) (Maybe (Redeemers era))

Instances7AnyEraTxWits, …

AnyEraTxWits AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits
AnyEraTxWits ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Tx.Wits

datadata ConwayPlutusPurpose (f :: Type -> Type -> Type) era

Constructors

ConwaySpending !(f Word32 TxIn)
ConwayMinting !(f Word32 PolicyID)
ConwayCertifying !(f Word32 (TxCert era))
ConwayWithdrawing !(f Word32 AccountAddress)
ConwayVoting !(f Word32 Voter)
ConwayProposing !(f Word32 (ProposalProcedure era))

Instances19Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Eq (TxCert era), EraPParams era) => Eq (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Ord (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Show (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(Show (TxCert era), EraPParams era) => Show (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Generic (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (NFData a, NFData b) => NFData (f a b), NFData (TxCert era), EraPParams era) => NFData (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (ToJSON a, ToJSON b) => ToJSON (f a b), ToJSON (TxCert era), EraPParams era) => ToJSON (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
NoThunks (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(NoThunks (TxCert era), EraPParams era) => NoThunks (ConwayPlutusPurpose AsIxItem era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) => DecCBOR (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) => EncCBOR (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (DecCBOR a, DecCBOR b) => DecCBOR (f a b), EraPParams era, Typeable f, DecCBOR (TxCert era)) => DecCBORGroup (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
(forall a b. (EncCBOR a, EncCBOR b) => EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) => EncCBORGroup (ConwayPlutusPurpose f era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
Inject (ConwayPlutusPurpose f era) (DijkstraPlutusPurpose f era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Scripts
type Rep (ConwayPlutusPurpose f era) = D1 ('MetaData "ConwayPlutusPurpose" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts

patternpattern ConwayRewarding :: f Word32 AccountAddress -> ConwayPlutusPurpose f era

Deprecated. In favor of ConwayWithdrawing

class

class (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) => EraTxWits era where

Associated types

type family TxWits era

Methods

mkBasicTxWits :: TxWits era
addrTxWitsL :: Lens' (TxWits era) (Set (WitVKey Witness))
bootAddrTxWitsL :: Lens' (TxWits era) (Set BootstrapWitness)
scriptTxWitsL :: Lens' (TxWits era) (Map ScriptHash (Script era))

Instances7EraTxWits, …

EraTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
EraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
EraTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
EraTxWits ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxWits · orphan
EraTxWits DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxWits · orphan
EraTxWits MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxWits · orphan
EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan

datadata BootstrapWitness

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Ord BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Show BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
Generic BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NFData BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
NoThunks BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
DecCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
EncCBOR BootstrapWitnessDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap
type Rep BootstrapWitness = D1 ('MetaData "BootstrapWitness" "Cardano.Ledger.Keys.Bootstrap" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "BootstrapWitness" 'PrefixI 'True) ((S1 ('MetaSel ('Just "bwKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey Witness)) :*: S1 ('MetaSel ('Just "bwSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "bwChainCode") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ChainCode) :*: S1 ('MetaSel ('Just "bwAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteArray))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Bootstrap

datadata KeyRole

Witness

datadata WitVKey (kr :: KeyRole)

Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …

Eq (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => Ord (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Show (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Generic (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
NFData (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => NoThunks (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
Typeable kr => DecCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
EncCBOR (WitVKey kr)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey
type Rep (WitVKey kr) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) (S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (VKey kr)) :*: (S1 ('MetaSel ('Just "wvkSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody))) :*: S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash Witness)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.WitVKey

patternpattern WitVKey :: VKey kr -> SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) -> WitVKey kr