Cardano.Ledger.Alonzo.Scripts

Methods

• eraMaxLanguage :: Language
• toPlutusScript :: Script era -> Maybe (PlutusScript era)
• fromPlutusScript :: PlutusScript era -> Script era
• mkPlutusScript :: (PlutusLanguage l, MonadFail m) => Plutus l -> m (PlutusScript era)
• withPlutusScript :: PlutusScript era -> (forall (l :: Language). PlutusLanguage l => Plutus l -> a) -> a
• hoistPlutusPurpose :: (forall ix it. g ix it -> f ix it) -> PlutusPurpose g era -> PlutusPurpose f era
• mkSpendingPurpose :: f Word32 TxIn -> PlutusPurpose f era
• toSpendingPurpose :: PlutusPurpose f era -> Maybe (f Word32 TxIn)
• mkMintingPurpose :: f Word32 PolicyID -> PlutusPurpose f era
• toMintingPurpose :: PlutusPurpose f era -> Maybe (f Word32 PolicyID)
• mkCertifyingPurpose :: f Word32 (TxCert era) -> PlutusPurpose f era
• toCertifyingPurpose :: PlutusPurpose f era -> Maybe (f Word32 (TxCert era))
• mkWithdrawingPurpose :: f Word32 AccountAddress -> PlutusPurpose f era
• toWithdrawingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
• mkRewardingPurpose :: f Word32 AccountAddress -> PlutusPurpose f era
• toRewardingPurpose :: PlutusPurpose f era -> Maybe (f Word32 AccountAddress)
• upgradePlutusPurposeAsIx :: AlonzoEraScript (PreviousEra era) => PlutusPurpose AsIx (PreviousEra era) -> PlutusPurpose AsIx era