Modulecardano-ledger-conway-1.23.0.0
Cardano.Ledger.Conway.Scripts
- 2 types
- 1 class
- 1 value
- Packagecardano-ledger-conway-1.23.0.0
- Exports14
- LicenceApache-2.0
pattern
pattern ProposingPurpose :: ConwayEraScript era => f Word32 (ProposalProcedure era) -> PlutusPurpose f eraConstructors
NativeScript !(NativeScript era)PlutusScript !(PlutusScript era)
Instances14Eq, Show, Generic, NFData, FromJSON, ToJSON, …
(Eq (PlutusScript era), Eq (NativeScript era)) => Eq (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(AlonzoEraScript era, Script era ~ AlonzoScript era) => Show (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsGeneric (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(NFData (PlutusScript era), NFData (NativeScript era)) => NFData (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(AlonzoEraScript era, DecCBOR (Annotator (AlonzoScript era))) => FromJSON (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsAlonzoEraScript era => ToJSON (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(Era era, MemPack (PlutusScript era), MemPack (NativeScript era)) => MemPack (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) => NoThunks (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsAlonzoEraScript era => ToCBOR (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsAlonzoEraScript era => DecCBOR (Annotator (AlonzoScript era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsAlonzoEraScript era => EncCBOR (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) => SafeToHash (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts(Eq (PlutusScript era), EqRaw (NativeScript era)) => EqRaw (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scriptstype Rep (AlonzoScript era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts"AlonzoScript"
"Cardano.Ledger.Alonzo.Scripts"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'False) (C1 ('MetaCons"NativeScript"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons"PlutusScript"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))
Instances32Eq, Ord, Show, Generic, NFData, MemPack, …
Eq (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsEq (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanEq (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanOrd (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsOrd (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanOrd (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanShow (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsShow (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanShow (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanGeneric (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsGeneric (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanGeneric (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanNFData (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsNFData (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanNFData (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanMemPack (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsMemPack (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanMemPack (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanNoThunks (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsNoThunks (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanNoThunks (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphanAlonzoEraScript era => ToCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsAlonzoEraScript era => EncCBOR (PlutusScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsSafeToHash (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.ScriptsSafeToHash (PlutusScript BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphanSafeToHash (PlutusScript ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphantype Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scriptstype Rep (PlutusScript BabbageEra) = D1 ('MetaDataDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan"PlutusScript"
"Cardano.Ledger.Babbage.Scripts"
"cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR"
'False) (C1 ('MetaCons"BabbagePlutusV1"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons"BabbagePlutusV2"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))type Rep (PlutusScript ConwayEra) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts · orphan"PlutusScript"
"Cardano.Ledger.Conway.Scripts"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"ConwayPlutusV1"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons"ConwayPlutusV2"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons"ConwayPlutusV3"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV3)))))data PlutusScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scriptsdata PlutusScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphandata PlutusScript ConwayEraConwayPlutusV1 !(Plutus 'PlutusV1)ConwayPlutusV2 !(Plutus 'PlutusV2)ConwayPlutusV3 !(Plutus 'PlutusV3)
Methods
mkVotingPurpose :: f Word32 Voter -> PlutusPurpose f eratoVotingPurpose :: PlutusPurpose f era -> Maybe (f Word32 Voter)mkProposingPurpose :: f Word32 (ProposalProcedure era) -> PlutusPurpose f eratoProposingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (ProposalProcedure era))
Instances1ConwayEraScript
ConwayEraScript ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts
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))
Instances18Eq, 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.ScriptsOrd (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.ScriptsShow (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.ScriptsGeneric (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.ScriptsNoThunks (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.Scriptstype Rep (ConwayPlutusPurpose f era) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Scripts"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)))))))
Deprecated. In favor of ConwayWithdrawing
Orphan instances
12 instancesEraScript ConwayEraShelleyEraScript ConwayEraAllegraEraScript ConwayEraAlonzoEraScript ConwayEraEq (PlutusScript ConwayEra)Ord (PlutusScript ConwayEra)Show (PlutusScript ConwayEra)Generic (PlutusScript ConwayEra)NFData (PlutusScript ConwayEra)MemPack (PlutusScript ConwayEra)NoThunks (PlutusScript ConwayEra)SafeToHash (PlutusScript ConwayEra)