Combined Plutus 1.39.0.0 Documentation

Index - P

packAssertionPlutusCore.Generators.NEAT.Spec
PairMAlonzo.Code.Utils
pairPlutusCore.StdLib.Data.Pair
PairSchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
PairT 
1 (Type/Class)PlutusPrelude
2 (Data Constructor)PlutusPrelude
pairToPairPlutusTx.Builtins
PairVPlutusCore.Examples.Builtins
Param 
1 (Type/Class)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
2 (Type/Class)PlutusCore.Arity
paramAddIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAndByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamAnyCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramAppendByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAppendStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBlake2b_224PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBlake2b_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_finalVerifyPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_addPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_compressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_equalPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_hashToGroupPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_negPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_scalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_uncompressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_addPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_compressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_equalPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_hashToGroupPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_negPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_scalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_uncompressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_millerLoopPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_mulMlResultPlutusCore.Evaluation.Machine.BuiltinCostModel
paramByteStringToIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseUnitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramComplementByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramConsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramConstrDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramCountSetBitsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramDecodeUtf8PlutusCore.Evaluation.Machine.BuiltinCostModel
paramDivideIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEncodeUtf8PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsStringPlutusCore.Evaluation.Machine.BuiltinCostModel
ParameterBlueprintPlutusTx.Blueprint.Parameter, PlutusTx.Blueprint
ParameterChange 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
parameterDescriptionPlutusTx.Blueprint.Parameter, PlutusTx.Blueprint
parameterPurposePlutusTx.Blueprint.Parameter, PlutusTx.Blueprint
parameterSchemaPlutusTx.Blueprint.Parameter, PlutusTx.Blueprint
parameterTitlePlutusTx.Blueprint.Parameter, PlutusTx.Blueprint
paramExpModIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramFindFirstSetBitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramFstPairPlutusCore.Evaluation.Machine.BuiltinCostModel
paramHeadListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIfThenElsePlutusCore.Evaluation.Machine.BuiltinCostModel
paramIndexByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamIntegerCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramIntegerToByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramKeccak_256PlutusCore.Evaluation.Machine.BuiltinCostModel
ParamKeyCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramLengthOfByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamListCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramListDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMapDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkConsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilPairDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkPairDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramModIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMultiplyIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamName 
1 (Type/Class)PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Type/Class)PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Type/Class)PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
paramNullListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramOrByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramQuotientIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamRationalCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramReadBitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramRemainderIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramReplicateBytePlutusCore.Evaluation.Machine.BuiltinCostModel
paramRipemd_160PlutusCore.Evaluation.Machine.BuiltinCostModel
paramRotateByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSerialiseDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha2_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha3_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramShiftByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSliceByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSndPairPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSubtractIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramTailListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramTracePlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnBDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnConstrDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnIDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnListDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnMapDataPlutusCore.Evaluation.Machine.BuiltinCostModel
ParamValueCardano.Constitution.Config.Types, Cardano.Constitution.Config
paramVerifyEcdsaSecp256k1SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifyEd25519SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifySchnorrSecp256k1SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramWriteBitsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramXorByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
parenClosingPlutusCore.Pretty.Readable, PlutusCore.Pretty
Parened 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
parenedValuePlutusCore.Pretty.Readable, PlutusCore.Pretty
parenInfixConNamePlutusTx.Show.TH
parenOpeningPlutusCore.Pretty.Readable, PlutusCore.Pretty
parens'Prettyprinter.Custom
parsePlutusCore.Parser.ParserCommon, PlutusCore.Parser, UntypedPlutusCore.Parser, PlutusIR.Parser
ParseError 
1 (Data Constructor)Raw
2 (Type/Class)PlutusTx.Options
ParseErrorBPlutusCore.Error
ParseErrorEPlutusCore.Error, PlutusCore
ParseErrors 
1 (Type/Class)PlutusTx.Options
2 (Data Constructor)PlutusTx.Options
parseGenPlutusCore.Parser.ParserCommon, PlutusCore.Parser
parseInputPlutusCore.Executable.Common
parseNamedProgramPlutusCore.Executable.Common
parsePluginOptionsPlutusTx.Options
parseProgram 
1 (Function)PlutusCore.Parser, PlutusCore
2 (Function)UntypedPlutusCore.Parser
3 (Function)PlutusIR.Parser
ParserPlutusCore.Parser.ParserCommon, PlutusCore.Parser, UntypedPlutusCore.Parser, PlutusIR.Parser
ParserErrorPlutusCore.Error, PlutusCore.Parser, PlutusCore
ParserErrorBundlePlutusCore.Error
ParserState 
1 (Type/Class)PlutusCore.Parser.ParserCommon, PlutusCore.Parser
2 (Data Constructor)PlutusCore.Parser.ParserCommon, PlutusCore.Parser
parseScopedUntypedPlutusCore.Parser, UntypedPlutusCore
parseTerm 
1 (Function)PlutusCore.Parser, PlutusCore
2 (Function)UntypedPlutusCore.Parser
parseTxtPlutusConformance.Common
parseTypePlutusCore.Parser, PlutusCore
partialIterTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
partialOrderLawsHedgehog.Laws.Ord
partitionPlutusTx.List, PlutusTx.Prelude
Pass 
1 (Type/Class)PlutusIR.Pass
2 (Data Constructor)PlutusIR.Pass
PatternFunctorPlutusIR.Compiler.Provenance, PlutusIR.Compiler
pcrConfigNamePlutusCore.Pretty.Readable, PlutusCore.Pretty
pcrRenderContextPlutusCore.Pretty.Readable, PlutusCore.Pretty
pcrShowKindsPlutusCore.Pretty.Readable, PlutusCore.Pretty
PeanoUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
peelUniTagUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
PermitsUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
PIRBindingPlutusTx.PIRTypes
pirConfigAllowEscapePlutusIR.Compiler.Types
pirConfigTCConfigPlutusIR.Compiler.Types
PIRErrorPlutusTx.Compiler.Error
PirFormatPlutusCore.Executable.Types, PlutusCore.Executable.Common
pirFormatHelpPlutusCore.Executable.Parsers
pirFormatReaderPlutusCore.Executable.Parsers
pirFormatToFormatPlutusCore.Executable.Types, PlutusCore.Executable.Common
PIRKindPlutusTx.PIRTypes
PirProgPlutusCore.Executable.Types, PlutusCore.Executable.Common
PIRProgramPlutusTx.PIRTypes
PirTCConfig 
1 (Type/Class)PlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck, PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck, PlutusIR.Compiler
PIRTerm 
1 (Type/Class)PlutusIR.Compiler.Types
2 (Type/Class)PlutusTx.PIRTypes
PirTermPlutusCore.Executable.Types, PlutusCore.Executable.Common
PIRType 
1 (Type/Class)PlutusIR.Compiler.Types
2 (Type/Class)PlutusTx.PIRTypes
PIRTypeErrorPlutusIR.Error, PlutusIR.Compiler
PIRTyVarPlutusTx.PIRTypes
PIRVarPlutusTx.PIRTypes
PlainTypePlutusIR.Compiler.Types
pLanguagePlutusCore.Executable.Parsers
PLCPlutusCore.Executable.Types, PlutusCore.Executable.Common
plcPlutusTx.Plugin.Utils, PlutusTx.Plugin
PlcEntityPlutusCore.FsTree
PLCError 
1 (Data Constructor)PlutusIR.Compiler.Error
2 (Data Constructor)PlutusIR.Error, PlutusIR.Compiler
3 (Data Constructor)PlutusTx.Compiler.Error
PlcFolderContentsPlutusCore.FsTree
PlcFsTreePlutusCore.FsTree
PlcGenTPlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
PLCKindPlutusTx.PLCTypes
PlcListRepPlutusCore.Examples.Builtins
plcParserOptionPlutusTx.Options
PlcProgPlutusCore.Executable.Types, PlutusCore.Executable.Common
PLCProgram 
1 (Type/Class)PlutusIR.Compiler.Types
2 (Type/Class)PlutusTx.PLCTypes
PLCRecTypePlutusIR.Compiler.Types
PLCTerm 
1 (Type/Class)PlutusIR.Compiler.Types
2 (Type/Class)PlutusTx.PLCTypes
PlcTerm 
1 (Data Constructor)PlutusCore.FsTree
2 (Type/Class)PlutusCore.Executable.Types, PlutusCore.Executable.Common
plcTermFilePlutusCore.FsTree
PLCType 
1 (Type/Class)PlutusIR.Compiler.Types
2 (Type/Class)PlutusTx.PLCTypes
PlcTypePlutusCore.FsTree
PLCTypeErrorPlutusIR.Error, PlutusIR.Compiler
plcTypeFilePlutusCore.FsTree
PLCTyVarPlutusTx.PLCTypes
PLCVarPlutusTx.PLCTypes
plcVersion100PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
plcVersion110PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
plcVersionsAvailableInPlutusLedgerApi.Common.Versions
plcVersionsIntroducedInPlutusLedgerApi.Common.Versions
plominPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
plugHolePlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
pluginPlutusTx.Plugin
PluginOption 
1 (Type/Class)PlutusTx.Options
2 (Data Constructor)PlutusTx.Options
PluginOptions 
1 (Type/Class)PlutusTx.Options
2 (Data Constructor)PlutusTx.Options
pluginOptionsPlutusTx.Options
plusTPlutusCore.Examples.Data.Vec
PlutusCoreLanguageNotAvailableErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
PlutusEventPlutusLedgerApi.Test.EvaluationEvent
PlutusLedgerLanguagePlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
plutusPreludeErrorCodesPlutusTx.ErrorCodes
PlutusV1 
1 (Data Constructor)PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
2 (Data Constructor)PlutusTx.Blueprint.PlutusVersion, PlutusTx.Blueprint
PlutusV2 
1 (Data Constructor)PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
2 (Data Constructor)PlutusTx.Blueprint.PlutusVersion, PlutusTx.Blueprint
PlutusV3 
1 (Data Constructor)PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
2 (Data Constructor)PlutusTx.Blueprint.PlutusVersion, PlutusTx.Blueprint
PlutusVersionPlutusTx.Blueprint.PlutusVersion, PlutusTx.Blueprint
poDescriptionPlutusTx.Options
poFunPlutusTx.Options
poImplicationsPlutusTx.Options
poLensPlutusTx.Options
PosPlutusCore.Annotation, PlutusTx.Compiler.Types
posCaseOfCaseConservativePlutusTx.Options
posConservativeOptsPlutusTx.Options
posContextLevelPlutusTx.Options
posCoverageAllPlutusTx.Options
posCoverageBooleanPlutusTx.Options
posCoverageLocationPlutusTx.Options
posDeferErrorsPlutusTx.Options
posDoSimplifierBetaPlutusTx.Options
posDoSimplifierEvaluateBuiltinsPlutusTx.Options
posDoSimplifierInlinePlutusTx.Options
posDoSimplifierRemoveDeadBindingsPlutusTx.Options
posDoSimplifierStrictifyBindingsPlutusTx.Options
posDoSimplifierUnwrapCancelPlutusTx.Options
posDoTypecheckPlutusTx.Options
posDumpCompilationTracePlutusTx.Options
posDumpPirPlutusTx.Options
posDumpPlcPlutusTx.Options
posDumpUPlcPlutusTx.Options
PosInf 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
posInlineConstantsPlutusTx.Options
positiveInfinityMAlonzo.RTE.Float
POSIXTime 
1 (Type/Class)PlutusLedgerApi.V1.Data.Time, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Data.Time, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Time, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V1.Time, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
POSIXTimeRange 
1 (Type/Class)PlutusLedgerApi.V1.Data.Time, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)PlutusLedgerApi.V1.Time, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
posMaxCseIterationsPlutusTx.Options
posMaxSimplifierIterationsPirPlutusTx.Options
posMaxSimplifierIterationsUPlcPlutusTx.Options
posOptimizePlutusTx.Options
posPedanticPlutusTx.Options
posPlcTargetVersionPlutusTx.Options
posPreserveLoggingPlutusTx.Options
posProfilePlutusTx.Options
posRelaxedFloatinPlutusTx.Options
posRemoveTracePlutusTx.Options
posVerbosityPlutusTx.Options
poTypeRepPlutusTx.Options
ppCatch 
1 (Function)PlutusCore.Test
2 (Function)PlutusIR.Test
ppCatchReadablePlutusCore.Test
ppDeposit 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ppGovernanceAction 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
pPirInputFormatPlutusCore.Executable.Parsers
pPirOutputFormatPlutusCore.Executable.Parsers
ppReturnAddr 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
PreamblePlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
preambleDescriptionPlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
preambleLicensePlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
preamblePlutusVersionPlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
preambleTitlePlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
preambleVersionPlutusTx.Blueprint.Preamble, PlutusTx.Blueprint
Precedence 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Type/Class)MAlonzo.RTE
PrecedenceLevelMAlonzo.RTE
predPlutusTx.Enum, PlutusTx.Prelude
predBoolBadArgumentErrorPlutusTx.ErrorCodes
PredicateCardano.Constitution.Config.Types, Cardano.Constitution.Config
Predicates 
1 (Type/Class)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
2 (Data Constructor)Cardano.Constitution.Config.Types, Cardano.Constitution.Config
PredKeyCardano.Constitution.Config.Types, Cardano.Constitution.Config
PredMeaningCardano.Constitution.Config.Types, Cardano.Constitution.Config
predOrderingBadArgumentErrorPlutusTx.ErrorCodes
predVoidBadArgumentErrorPlutusTx.ErrorCodes
PrerenamePlutusCore.Test
PrerenameNoPlutusCore.Test
PrerenameYesPlutusCore.Test
PrettyPlutusPrelude, PlutusCore.Pretty, Prettyprinter.Extras
prettyPlutusPrelude, PlutusCore.Pretty, Prettyprinter.Extras
PrettyAny 
1 (Type/Class)PlutusPrelude
2 (Data Constructor)PlutusPrelude
PrettyByPlutusPrelude, PlutusCore.Pretty
prettyByPlutusPrelude, PlutusCore.Pretty
prettyBytesPlutusCore.Pretty.Utils, PlutusCore.Pretty
PrettyClassicPlutusCore.Pretty.Classic, PlutusCore.Pretty
prettyClassicPlutusCore.Pretty.Classic, PlutusCore.Pretty
PrettyClassicByPlutusCore.Pretty.Classic, PlutusCore.Pretty
prettyClassicSimplePlutusCore.Pretty.Classic, PlutusCore.Pretty
prettyConfigPlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyConfigClassic 
1 (Type/Class)PlutusCore.Pretty.Classic, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Classic, PlutusCore.Pretty
prettyConfigClassicPlutusCore.Pretty.Classic
prettyConfigClassicSimplePlutusCore.Pretty.Classic
PrettyConfigName 
1 (Type/Class)PlutusCore.Pretty.ConfigName, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.ConfigName, PlutusCore.Pretty
prettyConfigNamePlutusCore.Pretty.ConfigName, PlutusCore.Pretty
prettyConfigNameSimplePlutusCore.Pretty.ConfigName, PlutusCore.Pretty
PrettyConfigPlc 
1 (Type/Class)PlutusCore.Pretty.Plc, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Plc, PlutusCore.Pretty
PrettyConfigPlcClassicPlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyConfigPlcClassicPlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyConfigPlcClassicSimplePlutusCore.Pretty.Plc, PlutusCore.Pretty
PrettyConfigPlcOptions 
1 (Type/Class)PlutusCore.Pretty.Plc, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyConfigPlcOptionsPlutusCore.Pretty.Plc, PlutusCore.Pretty
PrettyConfigPlcReadablePlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyConfigPlcReadablePlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyConfigPlcReadableSimplePlutusCore.Pretty.Plc, PlutusCore.Pretty
PrettyConfigPlcStrategyPlutusCore.Pretty.Plc, PlutusCore.Pretty
PrettyConfigReadable 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyConstPlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
prettyConstPlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
PrettyDefaultByPlutusPrelude
PrettyFoldable 
1 (Type/Class)Prettyprinter.Extras
2 (Data Constructor)Prettyprinter.Extras
prettyListPlutusPrelude, PlutusCore.Pretty, Prettyprinter.Extras
prettyListByPlutusPrelude, PlutusCore.Pretty
prettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyParensPlutusCore.Pretty.Extra, PlutusCore.Pretty.Classic, PlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyPlcPlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyPlcPlutusCore.Pretty.Default, PlutusCore.Pretty
prettyPlcClassicPlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyPlcClassicSimplePlutusCore.Pretty.Plc, PlutusCore.Pretty, PlutusIR.Test
prettyPlcCondensedErrorByPlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyPlcErrorStringPlutusCore.Generators.Hedgehog.Utils, PlutusCore.Generators.Hedgehog
prettyPlcReadablePlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyPlcReadableSimplePlutusCore.Pretty.Plc, PlutusCore.Pretty
prettyPlcSimplePlutusCore.Pretty.Default, PlutusCore.Pretty
prettyPrintByModePlutusCore.Executable.Common
PrettyReadablePlutusCore.Pretty.Readable, PlutusCore.Pretty
prettyReadablePlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyReadableByPlutusCore.Pretty.Readable, PlutusCore.Pretty
prettyReadableSimplePlutusCore.Pretty.Readable, PlutusCore.Pretty
PrettyShow 
1 (Type/Class)Prettyprinter.Extras
2 (Data Constructor)Prettyprinter.Extras
PrettyUniPlutusCore.Pretty.PrettyConst, PlutusCore.Pretty
primitiveUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
PrimMonadUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
PrimStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
PrintBudgetStatePlutusCore.Executable.Common
printBudgetStatePlutusCore.Executable.Common
PrintModePlutusCore.Executable.Types, PlutusCore.Executable.Common
printmodePlutusCore.Executable.Parsers
PrintOptions 
1 (Type/Class)PlutusCore.Executable.Types, PlutusCore.Executable.Common
2 (Data Constructor)PlutusCore.Executable.Types, PlutusCore.Executable.Common
printOptsPlutusCore.Executable.Parsers
printPrettyPlutusPrelude
printSampleProgramAndValuePlutusCore.Generators.Hedgehog.Test
printTyMAlonzo.Code.Evaluator.Term
processAllPlutusTx.Options
processOnePlutusTx.Options
prodNPlutusCore.StdLib.Meta.Data.Tuple
prodNAccessorPlutusCore.StdLib.Meta.Data.Tuple
prodNConstructorPlutusCore.StdLib.Meta.Data.Tuple
product 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
3 (Function)PlutusTx.Foldable, PlutusTx.Prelude
ProfileOptsPlutusTx.Compiler.Types
ProfunctorPlutusCore.Pretty.Readable
progAnn 
1 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
Program 
1 (Type/Class)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Type/Class)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
4 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
5 (Type/Class)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
6 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
7 (Type/Class)PlutusTx.Test.Util.Compiled
program 
1 (Function)PlutusCore.Parser
2 (Function)UntypedPlutusCore.Parser
3 (Function)PlutusIR.Parser
programMapNames 
1 (Function)PlutusCore.Subst, PlutusCore
2 (Function)UntypedPlutusCore.Subst, UntypedPlutusCore
programSize 
1 (Function)PlutusCore.Size, PlutusCore
2 (Function)UntypedPlutusCore.Size, UntypedPlutusCore
progTerm 
1 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
progVer 
1 (Function)PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
properFractionPlutusTx.Ratio
propEvaluatePlutusCore.Generators.Hedgehog.Test
ProposalProcedure 
1 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
Proposing 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ProposingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
prop_antisymmetricHedgehog.Laws.Common
prop_associativeHedgehog.Laws.Common
prop_commutativeHedgehog.Laws.Common
prop_idempotentHedgehog.Laws.Common
prop_latticeAbsorbHedgehog.Laws.Lattice
prop_reflexiveHedgehog.Laws.Common
prop_scopingForPlutusCore.Test
prop_symmetricHedgehog.Laws.Common
prop_totalHedgehog.Laws.Common
prop_transitiveHedgehog.Laws.Common
prop_unitHedgehog.Laws.Common
ProtocolVersion 
1 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
ProvenancePlutusIR.Compiler.Provenance, PlutusIR.Compiler
pruneContextPlutusTx.Compiler.Error
pTermPlutusIR.Parser
pTermAsProgPlutusIR.Test
PTypePlutusCore.Parser.Type, PlutusCore.Parser
pTypePlutusCore.Parser.Type, PlutusCore.Parser, PlutusIR.Parser
PubKeyCredential 
1 (Data Constructor)PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
PubKeyHash 
1 (Type/Class)PlutusLedgerApi.V1.Crypto, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Crypto, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
pubKeyHashAddress 
1 (Function)PlutusLedgerApi.V1.Data.Address
2 (Function)PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1
pubKeyHashTxOut 
1 (Function)PlutusLedgerApi.V1.Tx
2 (Function)PlutusLedgerApi.V2.Tx
3 (Function)PlutusLedgerApi.V1.Data.Tx
4 (Function)PlutusLedgerApi.V2.Data.Tx
pubKeyOutputsAt 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
PublishPlutusTx.Blueprint.Purpose, PlutusTx.Blueprint
Pure 
1 (Data Constructor)UntypedPlutusCore.Purity
2 (Data Constructor)PlutusIR.Purity
purePlutusTx.Applicative, PlutusTx.Prelude
pureIfNullPlutusCore.Generators.QuickCheck.Builtin
purelyPlutusCore.Subst
pureTryPlutusCore.Test
Purity 
1 (Type/Class)UntypedPlutusCore.Purity
2 (Type/Class)PlutusIR.Purity
PurposePlutusTx.Blueprint.Purpose, PlutusTx.Blueprint
purposeToTextPlutusTx.Blueprint.Purpose, PlutusTx.Blueprint
pushNamePlutusTx.Compiler.Names
pushNamesPlutusTx.Compiler.Names
pushTyNamePlutusTx.Compiler.Names
pushTyNamesPlutusTx.Compiler.Names
pvMajor 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
pvMinor 
1 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
pzipUntypedPlutusCore.Core.Zip
pzipWithUntypedPlutusCore.Core.Zip