| # | Plutarch.Internal.Term, Plutarch.Prelude |
| #!! | Plutarch.List, Plutarch.Prelude |
| #$ | Plutarch.Internal.Term, Plutarch.Prelude |
| #&& | Plutarch.Builtin.Bool, Plutarch.Prelude |
| #* | Plutarch.Internal.Numeric, Plutarch.Prelude |
| #+ | Plutarch.Internal.Numeric, Plutarch.Prelude |
| #- | Plutarch.Internal.Numeric, Plutarch.Prelude |
| #< | Plutarch.Internal.Ord, Plutarch.Prelude |
| #<= | Plutarch.Internal.Ord, Plutarch.Prelude |
| #<> | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| #== | Plutarch.Internal.Eq, Plutarch.Prelude |
| #> | Plutarch.Internal.Ord, Plutarch.Prelude |
| #>= | Plutarch.Internal.Ord, Plutarch.Prelude |
| #|| | Plutarch.Builtin.Bool, Plutarch.Prelude |
| $sel:asRawTerm:Term | Plutarch.Internal.Term |
| $sel:getDeps:TermResult | Plutarch.Internal.Term |
| $sel:getTerm:TermResult | Plutarch.Internal.Term |
| $sel:internalConfig'dataRecPMatchOptimization:InternalConfig | Plutarch.Internal.Term |
| $sel:ps'cursor:PrettyState | Plutarch.Pretty.Internal.Types |
| $sel:ps'nameMap:PrettyState | Plutarch.Pretty.Internal.Types |
| $sel:ps'names:PrettyState | Plutarch.Pretty.Internal.Types |
| $sel:runTermCont:TermCont | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| $sel:runTermMonad:TermMonad | Plutarch.Internal.Term |
| $sel:unDeriveAsDataRec:DeriveAsDataRec | Plutarch.Repr.Data |
| $sel:unDeriveAsDataStruct:DeriveAsDataStruct | Plutarch.Repr.Data |
| $sel:unDeriveAsScottRec:DeriveAsScottRec | Plutarch.Repr.Scott |
| $sel:unDeriveAsScottStruct:DeriveAsScottStruct | Plutarch.Repr.Scott |
| $sel:unDeriveAsSOPRec:DeriveAsSOPRec | Plutarch.Repr.SOP |
| $sel:unDeriveAsSOPStruct:DeriveAsSOPStruct | Plutarch.Repr.SOP |
| $sel:unDeriveNewtypePlutusType:DeriveNewtypePlutusType | |
| 1 (Function) | Plutarch.Internal.PlutusType |
| 2 (Function) | Plutarch.Repr.Newtype |
| $sel:unDeriveTagPLiftable:DeriveTagPLiftable | Plutarch.Repr.Tag, Plutarch.Prelude |
| $sel:unDeriveTagPlutusType:DeriveTagPlutusType | Plutarch.Repr.Tag |
| $sel:unPDataRec:PDataRec | Plutarch.Repr.Data |
| $sel:unPDataStruct:PDataStruct | Plutarch.Repr.Data |
| $sel:unPLiftedClosed:PLiftedClosed | Plutarch.Internal.Lift |
| $sel:unPRec:PRec | Plutarch.Repr.Internal |
| $sel:unPScottRec:PScottRec | Plutarch.Repr.Scott |
| $sel:unPScottStruct:PScottStruct | Plutarch.Repr.Scott |
| $sel:unPSOPRec:PSOPRec | Plutarch.Repr.SOP |
| $sel:unPSOPStruct:PSOPStruct | Plutarch.Repr.SOP |
| $sel:unPStruct:PStruct | Plutarch.Repr.Internal |
| $sel:unPTag:PTag | Plutarch.Repr.Tag |
| $sel:unScript:Script | Plutarch.Script |
| $sel:unTagLiftHelper:TagLiftHelper | Plutarch.Repr.Tag |
| :--> | Plutarch.Internal.Term, Plutarch.Prelude |
| >> | Plutarch.Monadic |
| >>= | Plutarch.Monadic |
| applyArguments | Plutarch.Evaluate |
| asClosedRawTerm | Plutarch.Internal.Term |
| AsHaskell | Plutarch.Internal.Lift, Plutarch.Prelude |
| builtinFunAtRef | Plutarch.Pretty.Internal.Types |
| ClosedTerm | Plutarch.Internal.Term, Plutarch.Prelude |
| compile | Plutarch.Internal.Term |
| compile' | Plutarch.Internal.Term |
| compileOptimized | Plutarch.Internal.Term |
| ComposeAST | Plutarch.Pretty.Internal.TermUtils |
| Config | Plutarch.Internal.Term |
| ConstantHoistNever | Plutarch.Internal.Term |
| ConstantHoistThreshold | Plutarch.Internal.Term |
| CouldNotCompile | Plutarch.Internal.Lift |
| CouldNotDecodeData | Plutarch.Internal.Lift |
| CouldNotEvaluate | Plutarch.Internal.Lift |
| DeriveAsDataRec | |
| 1 (Type/Class) | Plutarch.Repr.Data, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.Data, Plutarch.Prelude |
| DeriveAsDataStruct | |
| 1 (Type/Class) | Plutarch.Repr.Data, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.Data, Plutarch.Prelude |
| DeriveAsScottRec | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| DeriveAsScottStruct | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| DeriveAsSOPRec | |
| 1 (Type/Class) | Plutarch.Repr.SOP, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.SOP, Plutarch.Prelude |
| DeriveAsSOPStruct | |
| 1 (Type/Class) | Plutarch.Repr.SOP, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.SOP, Plutarch.Prelude |
| DeriveBuiltinPLiftable | |
| 1 (Type/Class) | Plutarch.Internal.Lift |
| 2 (Data Constructor) | Plutarch.Internal.Lift |
| DeriveDataPLiftable | |
| 1 (Type/Class) | Plutarch.Internal.Lift, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Lift, Plutarch.Prelude |
| DeriveFakePlutusType | |
| 1 (Type/Class) | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| DeriveNewtypePLiftable | |
| 1 (Type/Class) | Plutarch.Internal.Lift, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Lift, Plutarch.Prelude |
| DeriveNewtypePlutusType | |
| 1 (Type/Class) | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| 3 (Type/Class) | Plutarch.Repr.Newtype |
| 4 (Data Constructor) | Plutarch.Repr.Newtype |
| DerivePLiftableAsRepr | |
| 1 (Type/Class) | Plutarch.Repr.Derive |
| 2 (Data Constructor) | Plutarch.Repr.Derive |
| DeriveTagPLiftable | |
| 1 (Type/Class) | Plutarch.Repr.Tag, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.Tag, Plutarch.Prelude |
| DeriveTagPlutusType | |
| 1 (Type/Class) | Plutarch.Repr.Tag, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Repr.Tag, Plutarch.Prelude |
| deserialiseScript | Plutarch.Script |
| DetTracing | Plutarch.Internal.Term |
| Dig | Plutarch.Internal.Term |
| DoTracing | Plutarch.Internal.Term |
| DoTracingAndBinds | Plutarch.Internal.Term |
| EvalError | Plutarch.Internal.Evaluate, Plutarch.Evaluate |
| evalScript | Plutarch.Internal.Evaluate, Plutarch.Evaluate |
| evalScript' | Plutarch.Internal.Evaluate, Plutarch.Evaluate |
| evalScriptHuge | Plutarch.Internal.Evaluate, Plutarch.Evaluate |
| evalScriptUnlimited | Plutarch.Internal.Evaluate, Plutarch.Evaluate |
| evalTerm | Plutarch.Evaluate |
| evalTerm' | Plutarch.Evaluate |
| fail | Plutarch.Monadic |
| forcedPrefix | Plutarch.Pretty.Internal.Config |
| forkState | Plutarch.Pretty.Internal.Types |
| freshVarName | Plutarch.Pretty.Internal.Name |
| getPLifted | Plutarch.Internal.Lift |
| getPLiftedClosed | Plutarch.Internal.Lift |
| gpfrom | Plutarch.Internal.Generic |
| gpto | Plutarch.Internal.Generic |
| grecEq | Plutarch.Repr.Internal |
| groupHandlers | Plutarch.Repr.Internal |
| gstructEq | Plutarch.Repr.Internal |
| hashOpenTerm | Plutarch.Internal.TermCont, Plutarch.TermCont |
| hashRawTerm | Plutarch.Internal.Term |
| hashTerm | Plutarch.Internal.Term |
| haskToRepr | Plutarch.Internal.Lift, Plutarch.Prelude |
| HoistedTerm | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| IfThenElseLikeAST | Plutarch.Pretty.Internal.TermUtils |
| incrVar | Plutarch.Pretty.Internal.TermUtils |
| indentWidth | Plutarch.Pretty.Internal.Config |
| insertBindings | Plutarch.Pretty.Internal.Types |
| insertName | Plutarch.Pretty.Internal.Types |
| InternalConfig | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| keywords | Plutarch.Pretty.Internal.Config |
| LiftError | Plutarch.Internal.Lift |
| LogDebug | Plutarch.Internal.Term |
| LogInfo | Plutarch.Internal.Term |
| LogLevel | Plutarch.Internal.Term |
| logLevel | Plutarch.Internal.Term |
| mapTerm | Plutarch.Internal.Term |
| memorizeName | Plutarch.Pretty.Internal.Types |
| mkPLifted | Plutarch.Internal.Lift |
| mkPLiftedClosed | Plutarch.Internal.Lift |
| nameOfRef | Plutarch.Pretty.Internal.Types |
| NoReduce | |
| 1 (Type/Class) | Plutarch.Reducible |
| 2 (Data Constructor) | Plutarch.Reducible |
| Normal | Plutarch.Pretty.Internal.Types |
| normalizeCursor | Plutarch.Pretty.Internal.Types |
| NoTracing | Plutarch.Internal.Term |
| optimizeTerm | Plutarch.Internal.Term |
| OtherLiftError | Plutarch.Internal.Lift |
| pabs | Plutarch.Internal.Numeric, Plutarch.Prelude |
| paddInteger | Plutarch.Builtin.Integer |
| PAdditiveGroup | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PAdditiveMonoid | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PAdditiveSemigroup | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pall | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PAnd | |
| 1 (Type/Class) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| pand | Plutarch.Builtin.Bool |
| pand' | Plutarch.Builtin.Bool, Plutarch.Prelude |
| pandBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pany | Plutarch.Internal.ListLike, Plutarch.Prelude |
| papp | Plutarch.Internal.Term, Plutarch.Prelude |
| pasByteStr | Plutarch.Builtin.Data, Plutarch.Prelude |
| pasConstr | Plutarch.Builtin.Data, Plutarch.Prelude |
| PAsData | |
| 1 (Type/Class) | Plutarch.Builtin.Data, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.Data, Plutarch.Prelude |
| pasInt | Plutarch.Builtin.Data, Plutarch.Prelude |
| pasList | Plutarch.Builtin.Data, Plutarch.Prelude |
| pasMap | Plutarch.Builtin.Data, Plutarch.Prelude |
| passertPJust | Plutarch.Maybe |
| PBitString | |
| 1 (Type/Class) | Plutarch.BitString |
| 2 (Data Constructor) | Plutarch.BitString |
| pblake2b_224 | Plutarch.Builtin.Crypto |
| pblake2b_256 | Plutarch.Builtin.Crypto |
| pbls12_381_finalVerify | Plutarch.Builtin.BLS |
| pbls12_381_G1_add | Plutarch.Builtin.BLS |
| pbls12_381_G1_compress | Plutarch.Builtin.BLS |
| pbls12_381_G1_compressed_generator | Plutarch.Builtin.BLS |
| pbls12_381_G1_compressed_zero | Plutarch.Builtin.BLS |
| pbls12_381_G1_hashToGroup | Plutarch.Builtin.BLS |
| pbls12_381_G1_neg | Plutarch.Builtin.BLS |
| pbls12_381_G1_scalarMul | Plutarch.Builtin.BLS |
| pbls12_381_G1_uncompress | Plutarch.Builtin.BLS |
| pbls12_381_G2_add | Plutarch.Builtin.BLS |
| pbls12_381_G2_compress | Plutarch.Builtin.BLS |
| pbls12_381_G2_compressed_generator | Plutarch.Builtin.BLS |
| pbls12_381_G2_compressed_zero | Plutarch.Builtin.BLS |
| pbls12_381_G2_hashToGroup | Plutarch.Builtin.BLS |
| pbls12_381_G2_neg | Plutarch.Builtin.BLS |
| pbls12_381_G2_scalarMul | Plutarch.Builtin.BLS |
| pbls12_381_G2_uncompress | Plutarch.Builtin.BLS |
| pbls12_381_millerLoop | Plutarch.Builtin.BLS |
| pbls12_381_mulMlResult | Plutarch.Builtin.BLS |
| PBool | Plutarch.Builtin.Bool, Plutarch.Prelude |
| PBuiltinBLS12_381_G1_Element | |
| 1 (Type/Class) | Plutarch.Builtin.BLS |
| 2 (Data Constructor) | Plutarch.Builtin.BLS |
| PBuiltinBLS12_381_G2_Element | |
| 1 (Type/Class) | Plutarch.Builtin.BLS |
| 2 (Data Constructor) | Plutarch.Builtin.BLS |
| PBuiltinBLS12_381_MlResult | |
| 1 (Type/Class) | Plutarch.Builtin.BLS |
| 2 (Data Constructor) | Plutarch.Builtin.BLS |
| pbuiltinIfThenElse | Plutarch.Builtin.Bool |
| PBuiltinList | Plutarch.Builtin.Data, Plutarch.Prelude |
| PBuiltinPair | |
| 1 (Type/Class) | Plutarch.Builtin.Data, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.Data, Plutarch.Prelude |
| pbySquaringDefault | Plutarch.Internal.Numeric |
| PByte | |
| 1 (Type/Class) | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.ByteString |
| PByteString | |
| 1 (Type/Class) | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.ByteString |
| pbyteStringToInteger | Plutarch.Builtin.ByteString |
| pbyteToInteger | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pcheckSorted | Plutarch.List |
| pchooseData | Plutarch.Builtin.Data, Plutarch.Prelude |
| pchooseListBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| PCode | Plutarch.Internal.Generic |
| pcomplementBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| PCon | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| pcon | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| pcon' | Plutarch.Internal.PlutusType |
| pconcat | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pcond | Plutarch.Builtin.Bool, Plutarch.Prelude |
| PCons | Plutarch.Builtin.Data, Plutarch.Prelude |
| pcons | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pconsBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pconsBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| pconstant | Plutarch.Internal.Lift, Plutarch.Prelude |
| pconstantInteger | Plutarch.Builtin.Integer |
| pconstrBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| PContravariant | Plutarch.Internal.PlutusType |
| PContravariant' | Plutarch.Internal.PlutusType |
| PContravariant'' | Plutarch.Internal.PlutusType |
| pconvertLists | Plutarch.Internal.ListLike |
| PCountable | Plutarch.Enum, Plutarch.Prelude |
| pcountSetBits | Plutarch.BitString |
| PCovariant | Plutarch.Internal.PlutusType |
| PCovariant' | Plutarch.Internal.PlutusType |
| PCovariant'' | Plutarch.Internal.PlutusType |
| PData | |
| 1 (Type/Class) | Plutarch.Builtin.Data, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.Data, Plutarch.Prelude |
| pdata | Plutarch.Internal.IsData, Plutarch.Prelude |
| pdataImpl | Plutarch.Internal.IsData, Plutarch.Prelude |
| PDataNewtype | |
| 1 (Type/Class) | Plutarch.Builtin, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin, Plutarch.Prelude |
| PDataRec | |
| 1 (Type/Class) | Plutarch.Repr.Data |
| 2 (Data Constructor) | Plutarch.Repr.Data |
| PDataStruct | |
| 1 (Type/Class) | Plutarch.Repr.Data |
| 2 (Data Constructor) | Plutarch.Repr.Data |
| pdecodeUtf8 | Plutarch.Builtin.String, Plutarch.String, Plutarch.Prelude |
| pdelay | Plutarch.Internal.Term, Plutarch.Prelude |
| PDelayed | Plutarch.Internal.Term, Plutarch.Prelude |
| pdenominator | Plutarch.Rational, Plutarch.Prelude |
| pdfromLeft | Plutarch.Either |
| pdfromRight | Plutarch.Either |
| pdisLeft | Plutarch.Either |
| pdisRight | Plutarch.Either |
| pdiv | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PDLeft | Plutarch.Either |
| pdleft | Plutarch.Either |
| pdowncastF | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| PDRight | Plutarch.Either |
| pdright | Plutarch.Either |
| pdrop | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PEither | Plutarch.Either, Plutarch.Prelude |
| PEitherData | Plutarch.Either |
| peitherData | Plutarch.Either |
| pelem | Plutarch.List, Plutarch.Prelude |
| pelemAt | Plutarch.List, Plutarch.Prelude |
| pelemAt' | Plutarch.List |
| PElemConstraint | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pelimList | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pencodeUtf8 | Plutarch.Builtin.String, Plutarch.String, Plutarch.Prelude |
| PEndianness | |
| 1 (Type/Class) | Plutarch.Builtin.ByteString |
| 2 (Data Constructor) | Plutarch.Builtin.ByteString |
| PEnumerable | Plutarch.Enum, Plutarch.Prelude |
| PEq | Plutarch.Internal.Eq, Plutarch.Prelude |
| peqInteger | Plutarch.Builtin.Integer |
| perror | Plutarch.Internal.Term, Plutarch.Prelude |
| pexpectJustC | Plutarch.TermCont |
| pexpModInteger | Plutarch.Builtin.Integer |
| PFalse | Plutarch.Builtin.Bool, Plutarch.Prelude |
| pfalse | Plutarch.Builtin.Bool |
| pfilter | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pfind | Plutarch.List, Plutarch.Prelude |
| pfindAllPlaceholders | Plutarch.Internal.TermCont, Plutarch.TermCont |
| pfindFirstSetBit | Plutarch.BitString |
| pfindFirstSetBit' | Plutarch.BitString |
| pfindPlaceholder | Plutarch.Internal.TermCont, Plutarch.TermCont |
| pfix | Plutarch.Internal.Fix, Plutarch.Prelude |
| PFixAst | Plutarch.Pretty.Internal.TermUtils |
| pfoldl | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pfoldl' | Plutarch.Internal.ListLike |
| pfoldr | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pfoldr' | Plutarch.Internal.ListLike |
| pfoldrLazy | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PForall | |
| 1 (Type/Class) | Plutarch.Internal.Quantification, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Quantification, Plutarch.Prelude |
| pforce | Plutarch.Internal.Term, Plutarch.Prelude |
| pforgetData | Plutarch.Internal.IsData, Plutarch.Prelude |
| pforgetData' | Plutarch.Internal.IsData |
| pfromData | Plutarch.Internal.IsData, Plutarch.Prelude |
| pfromDataImpl | Plutarch.Internal.IsData, Plutarch.Prelude |
| pfromInteger | |
| 1 (Function) | Plutarch.Internal.Numeric, Plutarch.Prelude |
| 2 (Function) | Plutarch.Rational |
| pfromJust | Plutarch.Maybe |
| pfromLeft | Plutarch.Either |
| pfromMaybe | Plutarch.Maybe |
| pfromRight | Plutarch.Either |
| pfstBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| PGeneric | Plutarch.Internal.Generic |
| PGeneric' | Plutarch.Internal.Generic |
| pgetConfig | Plutarch.Internal.Term |
| pgetInternalConfig | Plutarch.Internal.Term |
| pguardC | Plutarch.TermCont, Plutarch.Prelude |
| pguardC' | Plutarch.TermCont, Plutarch.Prelude |
| phead | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pheadBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| phexByteStr | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| phoistAcyclic | Plutarch.Internal.Term, Plutarch.Prelude |
| pif | Plutarch.Builtin.Bool, Plutarch.Prelude |
| pif' | Plutarch.Builtin.Bool, Plutarch.Prelude |
| pindexBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pinl | Plutarch.Internal.PLam, Plutarch.Prelude |
| PInner | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| PInnermost | Plutarch.Internal.PlutusType |
| PInnermostIsData | Plutarch.Internal.IsData |
| PInteger | Plutarch.Builtin.Integer, Plutarch.Prelude |
| pintegerToByte | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pintegerToByteString | Plutarch.Builtin.ByteString |
| PIntegralDomain | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PIsData | Plutarch.Internal.IsData, Plutarch.Prelude |
| pisHexDigit | Plutarch.String |
| pisJust | Plutarch.Maybe |
| pisLeft | Plutarch.Either |
| PIsListLike | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PJust | Plutarch.Maybe, Plutarch.Prelude |
| pjust | Plutarch.Maybe |
| pkeccak_256 | Plutarch.Builtin.Crypto |
| PLam | Plutarch.Internal.Term |
| plam | Plutarch.Internal.PLam, Plutarch.Prelude |
| plam' | Plutarch.Internal.Term |
| PLamN | Plutarch.Internal.PLam |
| PLeft | Plutarch.Either, Plutarch.Prelude |
| pleInteger | Plutarch.Builtin.Integer |
| plength | Plutarch.Internal.ListLike, Plutarch.Prelude |
| plengthBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| plet | Plutarch.Internal.Term, Plutarch.Prelude |
| pletC | Plutarch.TermCont, Plutarch.Prelude |
| pletL | Plutarch.Repr.Internal |
| plift | Plutarch.Internal.Lift, Plutarch.Prelude |
| PLiftable | Plutarch.Internal.Lift, Plutarch.Prelude |
| PLifted | |
| 1 (Type/Class) | Plutarch.Internal.Lift, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Lift, Plutarch.Prelude |
| PLiftedClosed | |
| 1 (Type/Class) | Plutarch.Internal.Lift |
| 2 (Data Constructor) | Plutarch.Internal.Lift |
| pliftedFromClosed | Plutarch.Internal.Lift |
| pliftedToClosed | Plutarch.Internal.Lift |
| PList | Plutarch.List, Plutarch.Prelude |
| plistData | Plutarch.Builtin.Data, Plutarch.Prelude |
| plistEquals | Plutarch.List, Plutarch.Prelude |
| PListLike | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PLogicOpSemantics | |
| 1 (Type/Class) | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.ByteString |
| pltInteger | Plutarch.Builtin.Integer |
| plutToRepr | Plutarch.Internal.Lift, Plutarch.Prelude |
| plutToReprUni | Plutarch.Internal.Lift, Plutarch.Prelude |
| PlutusRepr | Plutarch.Internal.Lift, Plutarch.Prelude |
| PlutusType | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| pmap | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pmapMaybe | Plutarch.Maybe |
| PMatch | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| pmatch | Plutarch.Internal.PlutusType, Plutarch.Prelude |
| pmatch' | Plutarch.Internal.PlutusType |
| pmatchC | Plutarch.TermCont, Plutarch.Prelude |
| pmatchList | Plutarch.List |
| pmatchListN | Plutarch.List |
| pmatchListUnsafe | Plutarch.List |
| pmax | Plutarch.Internal.Ord, Plutarch.Prelude |
| PMaybe | Plutarch.Maybe, Plutarch.Prelude |
| pmaybe | Plutarch.Maybe |
| pmempty | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| pmin | Plutarch.Internal.Ord, Plutarch.Prelude |
| pmod | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PMonoid | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| pmostSignificantFirst | Plutarch.Builtin.ByteString |
| pmostSignificantLast | Plutarch.Builtin.ByteString |
| pmtimes | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| PMultiplicativeMonoid | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PMultiplicativeSemigroup | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pmultiplyInteger | Plutarch.Builtin.Integer |
| PNatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pnatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pnaturalToPositiveCPS | Plutarch.Internal.Numeric |
| pnegate | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PNil | Plutarch.Builtin.Data, Plutarch.Prelude |
| pnil | Plutarch.Internal.ListLike, Plutarch.Prelude |
| PNoSubtypeRelation | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| pnot | Plutarch.Builtin.Bool, Plutarch.Prelude |
| PNothing | Plutarch.Maybe, Plutarch.Prelude |
| pnothing | Plutarch.Maybe |
| pnull | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pnullBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| pnumerator | Plutarch.Rational, Plutarch.Prelude |
| pone | Plutarch.Internal.Numeric, Plutarch.Prelude |
| POpaque | |
| 1 (Type/Class) | Plutarch.Builtin.Opaque, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.Opaque, Plutarch.Prelude |
| popaque | Plutarch.Builtin.Opaque, Plutarch.Prelude |
| POr | |
| 1 (Type/Class) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| por | Plutarch.Builtin.Bool |
| por' | Plutarch.Builtin.Bool, Plutarch.Prelude |
| porBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| POrd | Plutarch.Internal.Ord, Plutarch.Prelude |
| Positive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| positiveToInteger | Plutarch.Internal.Numeric |
| ppadding | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| PPair | |
| 1 (Type/Class) | Plutarch.Pair, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Pair, Plutarch.Prelude |
| ppairDataBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| pplaceholder | Plutarch.Internal.Term |
| PPositive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ppositive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ppositiveToNatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ppowNatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ppowPositive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ppredecessor | Plutarch.Enum, Plutarch.Prelude |
| ppredecessorN | Plutarch.Enum, Plutarch.Prelude |
| pproperFraction | Plutarch.Rational |
| pquot | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pquotientInteger | Plutarch.Builtin.Integer |
| PRational | |
| 1 (Type/Class) | Plutarch.Rational, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Rational, Plutarch.Prelude |
| preadBit | Plutarch.BitString |
| PRec | |
| 1 (Type/Class) | Plutarch.Repr.Internal |
| 2 (Data Constructor) | Plutarch.Repr.Internal |
| precList | Plutarch.Internal.ListLike, Plutarch.Prelude |
| preduce | Plutarch.Rational |
| prem | Plutarch.Internal.Numeric, Plutarch.Prelude |
| premainderInteger | Plutarch.Builtin.Integer |
| prememberData | Plutarch.Internal.IsData |
| prememberData' | Plutarch.Internal.IsData |
| preplicateBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| prettyConstant | Plutarch.Pretty.Internal.BuiltinConstant |
| PrettyCursor | Plutarch.Pretty.Internal.Types |
| PrettyMonad | Plutarch.Pretty.Internal.Types |
| prettyScript | Plutarch.Pretty |
| prettyStack | Plutarch.Internal.PrettyStack |
| PrettyState | |
| 1 (Type/Class) | Plutarch.Pretty.Internal.Types |
| 2 (Data Constructor) | Plutarch.Pretty.Internal.Types |
| prettyTerm | Plutarch.Pretty |
| prettyTerm' | Plutarch.Pretty |
| prettyTermAndCost | Plutarch.Pretty |
| preverse | Plutarch.List |
| PRight | Plutarch.Either, Plutarch.Prelude |
| PRing | Plutarch.Internal.Numeric, Plutarch.Prelude |
| printScript | Plutarch.Internal.Other |
| printTerm | Plutarch.Internal.Other |
| pripemd_160 | Plutarch.Builtin.Crypto |
| protate | Plutarch.BitString |
| pround | Plutarch.Rational, Plutarch.Prelude |
| pscaleInteger | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pscaleNatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pscalePositive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| PSCons | Plutarch.List, Plutarch.Prelude |
| PScottRec | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| PScottRecInner | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| PScottStruct | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| PScottStructInner | |
| 1 (Type/Class) | Plutarch.Repr.Scott |
| 2 (Data Constructor) | Plutarch.Repr.Scott |
| PSemigroup | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| pserialiseData | Plutarch.Builtin.Data, Plutarch.Prelude |
| psha2_256 | Plutarch.Builtin.Crypto, Plutarch.Prelude |
| psha3_256 | Plutarch.Builtin.Crypto, Plutarch.Prelude |
| pshift | Plutarch.BitString |
| PShow | Plutarch.Internal.Show, Plutarch.Prelude |
| pshow | Plutarch.Internal.Show, Plutarch.Prelude |
| pshow' | Plutarch.Internal.Show |
| pshowAndErr | Plutarch.Internal.Show |
| pshowList | Plutarch.Internal.Show |
| psignum | Plutarch.Internal.Numeric, Plutarch.Prelude |
| psingleton | Plutarch.Internal.ListLike, Plutarch.Prelude |
| psliceBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| psndBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| PSNil | Plutarch.List, Plutarch.Prelude |
| PSOPRec | |
| 1 (Type/Class) | Plutarch.Repr.SOP |
| 2 (Data Constructor) | Plutarch.Repr.SOP |
| PSOPStruct | |
| 1 (Type/Class) | Plutarch.Repr.SOP |
| 2 (Data Constructor) | Plutarch.Repr.SOP |
| pstimes | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| PString | |
| 1 (Type/Class) | Plutarch.Builtin.String, Plutarch.String, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.String |
| PStruct | |
| 1 (Type/Class) | Plutarch.Repr.Internal |
| 2 (Data Constructor) | Plutarch.Repr.Internal |
| psubtractInteger | Plutarch.Builtin.Integer |
| PSubtype | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom, Plutarch.Prelude |
| PSubtype' | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| PSubtypeRelation | |
| 1 (Type/Class) | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| 2 (Data Constructor) | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| psuccessor | Plutarch.Enum, Plutarch.Prelude |
| psuccessorN | Plutarch.Enum, Plutarch.Prelude |
| PTag | |
| 1 (Type/Class) | Plutarch.Repr.Tag |
| 2 (Data Constructor) | Plutarch.Repr.Tag |
| ptail | Plutarch.Internal.ListLike, Plutarch.Prelude |
| ptailBuiltin | Plutarch.Builtin.Data, Plutarch.Prelude |
| pthrow | Plutarch.Internal.Term, Plutarch.Prelude |
| pto | Plutarch.Internal.Other, Plutarch.Prelude |
| ptrace | Plutarch.Internal.Trace, Plutarch.Trace, Plutarch.Prelude |
| ptrace' | Plutarch.Builtin.String, Plutarch.Internal.Trace |
| ptraceC | Plutarch.TermCont, Plutarch.Prelude |
| ptraceDebug | Plutarch.Internal.Trace, Plutarch.Trace, Plutarch.Prelude |
| ptraceDebugError | Plutarch.Trace, Plutarch.Prelude |
| ptraceDebugIfFalse | Plutarch.Trace, Plutarch.Prelude |
| ptraceDebugIfTrue | Plutarch.Trace, Plutarch.Prelude |
| ptraceDebugShowId | Plutarch.Trace, Plutarch.Prelude |
| ptraceError | Plutarch.Trace, Plutarch.Prelude |
| ptraceIfFalse | Plutarch.Trace, Plutarch.Prelude |
| ptraceIfNothing | Plutarch.Maybe |
| ptraceIfTrue | Plutarch.Trace |
| ptraceInfo | Plutarch.Builtin.String, Plutarch.Internal.Trace, Plutarch.Trace, Plutarch.Prelude |
| ptraceInfoError | Plutarch.Trace, Plutarch.Prelude |
| ptraceInfoIfFalse | Plutarch.Trace, Plutarch.Prelude |
| ptraceInfoIfTrue | Plutarch.Trace, Plutarch.Prelude |
| ptraceInfoShowId | Plutarch.Trace, Plutarch.Prelude |
| ptraceShowId | Plutarch.Trace, Plutarch.Prelude |
| PTrue | Plutarch.Builtin.Bool, Plutarch.Prelude |
| ptrue | Plutarch.Builtin.Bool |
| ptruncate | Plutarch.Rational |
| ptruncation | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| PTryFrom | Plutarch.Internal.TryFrom, Plutarch.Prelude |
| ptryFrom | Plutarch.Internal.TryFrom, Plutarch.Prelude |
| ptryFrom' | Plutarch.Internal.TryFrom, Plutarch.Prelude |
| ptryFromC | Plutarch.TermCont, Plutarch.Prelude |
| PTryFromExcess | Plutarch.Internal.TryFrom, Plutarch.Prelude |
| ptryIndex | Plutarch.Internal.ListLike, Plutarch.Prelude |
| ptryNatural | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ptryPositive | Plutarch.Internal.Numeric, Plutarch.Prelude |
| ptryUncons | Plutarch.List |
| PType | Plutarch.Internal.Term |
| puncons | Plutarch.List, Plutarch.Prelude |
| PUnit | |
| 1 (Type/Class) | Plutarch.Builtin.Unit, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Builtin.Unit, Plutarch.Prelude |
| punit | Plutarch.Builtin.Unit |
| punrollBound | Plutarch.Unroll, Plutarch.Prelude |
| punrollBound' | Plutarch.Unroll, Plutarch.Prelude |
| punrollUnbound | Plutarch.Unroll, Plutarch.Prelude |
| punrollUnboundWhole | Plutarch.Unroll, Plutarch.Prelude |
| punsafeBuiltin | Plutarch.Internal.Term, Plutarch.Unsafe |
| punsafeCoerce | Plutarch.Internal.Term, Plutarch.Unsafe |
| punsafeCoercePLifted | Plutarch.Internal.Lift |
| punsafeConstant | Plutarch.Internal.Term, Plutarch.Unsafe |
| punsafeConstantInternal | Plutarch.Internal.Term |
| punsafeDowncast | Plutarch.Unsafe |
| pupcast | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom, Plutarch.Prelude |
| pupcastF | Plutarch.Internal.Subtype, Plutarch.Internal.TryFrom |
| PVariant | Plutarch.Internal.PlutusType |
| PVariant' | Plutarch.Internal.PlutusType |
| PVariant'' | Plutarch.Internal.PlutusType |
| pverifyEcdsaSecp256k1Signature | Plutarch.Builtin.Crypto |
| pverifyEd25519Signature | Plutarch.Builtin.Crypto |
| pverifySchnorrSecp256k1Signature | Plutarch.Builtin.Crypto |
| pverifySignature | Plutarch.Builtin.Crypto, Plutarch.Prelude |
| pwithInternalConfig | Plutarch.Internal.Term |
| pwriteBits | Plutarch.BitString |
| PXor | |
| 1 (Type/Class) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Semigroup, Plutarch.Prelude |
| pxorBS | Plutarch.Builtin.ByteString, Plutarch.Prelude |
| pzero | Plutarch.Internal.Numeric, Plutarch.Prelude |
| pzip | Plutarch.List, Plutarch.Prelude |
| pzipWith | Plutarch.Internal.ListLike, Plutarch.Prelude |
| pzipWith' | Plutarch.Internal.ListLike, Plutarch.Prelude |
| RApply | Plutarch.Internal.Term |
| RawTerm | Plutarch.Internal.Term |
| RBuiltin | Plutarch.Internal.Term |
| RCase | Plutarch.Internal.Term |
| RCompiled | Plutarch.Internal.Term |
| RConstant | Plutarch.Internal.Term |
| RConstr | Plutarch.Internal.Term |
| RDelay | Plutarch.Internal.Term |
| RecAsHaskell | Plutarch.Repr.Internal |
| RecTypePrettyError | Plutarch.Repr.Internal |
| Reduce | Plutarch.Reducible |
| reduce | Plutarch.Reducible |
| reprToHask | Plutarch.Internal.Lift, Plutarch.Prelude |
| reprToPlut | Plutarch.Internal.Lift, Plutarch.Prelude |
| reprToPlutUni | Plutarch.Internal.Lift, Plutarch.Prelude |
| RError | Plutarch.Internal.Term |
| RForce | Plutarch.Internal.Term |
| RHoisted | Plutarch.Internal.Term |
| RLamAbs | Plutarch.Internal.Term |
| RPlaceHolder | Plutarch.Internal.Term |
| RVar | Plutarch.Internal.Term |
| S | Plutarch.Internal.Term, Plutarch.Prelude |
| Script | |
| 1 (Type/Class) | Plutarch.Script, Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Script, Plutarch.Internal.Term |
| serialiseScript | Plutarch.Script |
| SI | Plutarch.Internal.Term |
| smartName | Plutarch.Pretty.Internal.Name |
| Snd | Plutarch.Internal.TypeFamily |
| Special | Plutarch.Pretty.Internal.Types |
| specializeCursor | Plutarch.Pretty.Internal.Types |
| StructAsHaskell | Plutarch.Repr.Internal |
| StructSameRepr | Plutarch.Repr.Internal |
| TagLiftHelper | |
| 1 (Type/Class) | Plutarch.Repr.Tag |
| 2 (Data Constructor) | Plutarch.Repr.Tag |
| tcont | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| Term | |
| 1 (Type/Class) | Plutarch.Internal.Term, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| TermCont | |
| 1 (Type/Class) | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| TermMonad | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| TermResult | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| toPositiveAbs | Plutarch.Internal.Numeric |
| ToPType | Plutarch.Internal.TypeFamily |
| ToPType2 | Plutarch.Internal.TypeFamily |
| Tracing | Plutarch.Internal.Term |
| TracingMode | Plutarch.Internal.Term |
| tracingMode | Plutarch.Internal.Term |
| TypeError | Plutarch.Internal.Lift |
| unsafeEvalTerm | Plutarch.Evaluate |
| unsafeHaskToUni | Plutarch.Internal.Lift |
| UnTerm | Plutarch.Internal.TypeFamily |
| unTermCont | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| UnTermRec | Plutarch.Repr.Internal |
| UnTermStruct | Plutarch.Repr.Internal |
| UnTermStruct' | Plutarch.Repr.Internal |
| unwrapApply | Plutarch.Pretty.Internal.TermUtils |
| unwrapBindings | Plutarch.Pretty.Internal.TermUtils |
| unwrapLamAbs | Plutarch.Pretty.Internal.TermUtils |
| uplcVersion | Plutarch.Internal.Evaluate |
| witness | Plutarch.Internal.Witness |