module PlutusLedgerApi.V3 (
Common.SerialisedScript,
Common.ScriptForEvaluation,
Common.serialisedScript,
Common.deserialisedScript,
Common.serialiseCompiledCode,
Common.serialiseUPLC,
deserialiseScript,
Common.uncheckedDeserialiseUPLC,
evaluateScriptRestricting,
evaluateScriptCounting,
Contexts.ColdCommitteeCredential (..),
Contexts.HotCommitteeCredential (..),
Contexts.DRepCredential (..),
Contexts.DRep (..),
Contexts.Delegatee (..),
Contexts.TxCert (..),
Contexts.Voter (..),
Contexts.Vote (..),
Contexts.GovernanceActionId (..),
Contexts.Committee (..),
Contexts.Constitution (..),
Contexts.ProtocolVersion (..),
Contexts.GovernanceAction (..),
Contexts.ChangedParameters (..),
Contexts.ProposalProcedure (..),
Common.MajorProtocolVersion (..),
Common.VerboseMode (..),
Common.LogOutput,
Common.ExBudget (..),
V2.ExCPU (..),
V2.ExMemory (..),
V2.SatInt (V2.unSatInt),
V2.fromSatInt,
EvaluationContext.EvaluationContext,
EvaluationContext.mkEvaluationContext,
ParamName.ParamName (..),
EvaluationContext.CostModelApplyError (..),
EvaluationContext.CostModelParams,
EvaluationContext.assertWellFormedCostModelParams,
Contexts.ScriptContext (..),
Contexts.ScriptPurpose (..),
Contexts.ScriptInfo (..),
Common.BuiltinByteString,
Common.toBuiltin,
Common.fromBuiltin,
Common.toOpaque,
Common.fromOpaque,
V2.LedgerBytes (..),
V2.fromBytes,
V2.StakingCredential (..),
V2.Credential (..),
V2.Value (..),
V2.CurrencySymbol (..),
V2.TokenName (..),
V2.singleton,
V2.unionWith,
V2.adaSymbol,
V2.adaToken,
V2.Lovelace (..),
MintValue.MintValue,
MintValue.emptyMintValue,
MintValue.mintValueToMap,
MintValue.mintValueMinted,
MintValue.mintValueBurned,
V2.POSIXTime (..),
V2.POSIXTimeRange,
V2.Address (..),
V2.PubKeyHash (..),
Tx.TxId (..),
Contexts.TxInfo (..),
V2.TxOut (..),
Tx.TxOutRef (..),
Contexts.TxInInfo (..),
V2.OutputDatum (..),
V2.Interval (..),
V2.Extended (..),
V2.Closure,
V2.UpperBound (..),
V2.LowerBound (..),
V2.always,
V2.from,
V2.to,
V2.lowerBound,
V2.upperBound,
V2.strictLowerBound,
V2.strictUpperBound,
Ratio.Rational,
Ratio.ratio,
Ratio.fromGHC,
Ratio.toGHC,
V2.Map,
V2.unsafeFromList,
V2.ScriptHash (..),
V2.Redeemer (..),
V2.RedeemerHash (..),
V2.Datum (..),
V2.DatumHash (..),
V2.Data (..),
V2.BuiltinData (..),
V2.ToData (..),
V2.FromData (..),
V2.UnsafeFromData (..),
V2.toData,
V2.fromData,
V2.unsafeFromData,
V2.dataToBuiltinData,
V2.builtinDataToData,
Common.MonadError,
V2.EvaluationError (..),
V2.ScriptDecodeError (..),
) where
import PlutusLedgerApi.Common qualified as Common
import PlutusLedgerApi.V2 qualified as V2
import PlutusLedgerApi.V3.Contexts qualified as Contexts
import PlutusLedgerApi.V3.EvaluationContext qualified as EvaluationContext
import PlutusLedgerApi.V3.MintValue qualified as MintValue
import PlutusLedgerApi.V3.ParamName qualified as ParamName
import PlutusLedgerApi.V3.Tx qualified as Tx
import PlutusTx.Ratio qualified as Ratio
thisLedgerLanguage :: Common.PlutusLedgerLanguage
thisLedgerLanguage :: PlutusLedgerLanguage
thisLedgerLanguage = PlutusLedgerLanguage
Common.PlutusV3
deserialiseScript ::
forall m.
(Common.MonadError Common.ScriptDecodeError m) =>
Common.MajorProtocolVersion ->
Common.SerialisedScript ->
m Common.ScriptForEvaluation
deserialiseScript :: forall (m :: * -> *).
MonadError ScriptDecodeError m =>
MajorProtocolVersion -> SerialisedScript -> m ScriptForEvaluation
deserialiseScript = PlutusLedgerLanguage
-> MajorProtocolVersion
-> SerialisedScript
-> m ScriptForEvaluation
forall (m :: * -> *).
MonadError ScriptDecodeError m =>
PlutusLedgerLanguage
-> MajorProtocolVersion
-> SerialisedScript
-> m ScriptForEvaluation
Common.deserialiseScript PlutusLedgerLanguage
thisLedgerLanguage
evaluateScriptCounting ::
Common.MajorProtocolVersion ->
Common.VerboseMode ->
EvaluationContext.EvaluationContext ->
Common.ScriptForEvaluation ->
Common.Data ->
(Common.LogOutput, Either Common.EvaluationError Common.ExBudget)
evaluateScriptCounting :: MajorProtocolVersion
-> VerboseMode
-> EvaluationContext
-> ScriptForEvaluation
-> Data
-> (LogOutput, Either EvaluationError ExBudget)
evaluateScriptCounting MajorProtocolVersion
mpv VerboseMode
verbose EvaluationContext
ec ScriptForEvaluation
s Data
arg =
PlutusLedgerLanguage
-> MajorProtocolVersion
-> VerboseMode
-> EvaluationContext
-> ScriptForEvaluation
-> [Data]
-> (LogOutput, Either EvaluationError ExBudget)
Common.evaluateScriptCounting PlutusLedgerLanguage
thisLedgerLanguage MajorProtocolVersion
mpv VerboseMode
verbose EvaluationContext
ec ScriptForEvaluation
s [Data
arg]
evaluateScriptRestricting ::
Common.MajorProtocolVersion ->
Common.VerboseMode ->
EvaluationContext.EvaluationContext ->
Common.ExBudget ->
Common.ScriptForEvaluation ->
Common.Data ->
(Common.LogOutput, Either Common.EvaluationError Common.ExBudget)
evaluateScriptRestricting :: MajorProtocolVersion
-> VerboseMode
-> EvaluationContext
-> ExBudget
-> ScriptForEvaluation
-> Data
-> (LogOutput, Either EvaluationError ExBudget)
evaluateScriptRestricting MajorProtocolVersion
mpv VerboseMode
verbose EvaluationContext
ec ExBudget
budget ScriptForEvaluation
s Data
arg =
PlutusLedgerLanguage
-> MajorProtocolVersion
-> VerboseMode
-> EvaluationContext
-> ExBudget
-> ScriptForEvaluation
-> [Data]
-> (LogOutput, Either EvaluationError ExBudget)
Common.evaluateScriptRestricting PlutusLedgerLanguage
thisLedgerLanguage MajorProtocolVersion
mpv VerboseMode
verbose EvaluationContext
ec ExBudget
budget ScriptForEvaluation
s [Data
arg]