| P | Michelson.Macro |
| PACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| pack | Lorentz.Instr, Lorentz |
| packCode' | Michelson.Interpret.Pack |
| PackedNotes | |
| 1 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| PackedValScope | Michelson.Typed.Scope, Michelson.Typed |
| packSubMapUKey | Lorentz.UStore.Instr |
| packT' | Michelson.Interpret.Pack |
| packValue | Michelson.Interpret.Pack |
| packValue' | Michelson.Interpret.Pack |
| PAIR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| pair | Lorentz.Instr, Lorentz |
| pairMac | Michelson.Parser.Macro |
| pairOp | Michelson.Parser.Instr |
| PairStruct | Michelson.Macro |
| PAPAIR | Michelson.Macro |
| papair | Lorentz.Macro, Lorentz |
| para | Michelson.Untyped.Contract, Michelson.Untyped |
| ParamBuildingStep | |
| 1 (Type/Class) | Lorentz.EntryPoints.Doc, Lorentz |
| 2 (Data Constructor) | Lorentz.EntryPoints.Doc, Lorentz |
| ParamEpDuplicatedNames | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParamEpError | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParamEpUncallableArm | Michelson.Typed.EntryPoints, Michelson.Typed |
| Parameter | |
| 1 (Type/Class) | Michelson.Untyped.Contract, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.TypeCheck.Types, Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| ParameterEntryPoints | Lorentz.EntryPoints, Lorentz |
| parameterEntryPoints | Lorentz.EntryPoints, Lorentz |
| ParameterEntryPointsSplit | |
| 1 (Type/Class) | Lorentz.EntryPoints, Lorentz |
| 2 (Data Constructor) | Lorentz.EntryPoints, Lorentz |
| ParameterScope | Michelson.Typed.Scope, Michelson.Typed |
| ParamNotes | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParamNotesUnsafe | Michelson.Typed.EntryPoints, Michelson.Typed |
| parens | Michelson.Parser.Lexer |
| parseAddress | Tezos.Address |
| ParseAddressBothFailed | Tezos.Address |
| ParseAddressError | Tezos.Address |
| ParseAddressWrongBase58Check | Tezos.Address |
| parseChainId | Tezos.Core |
| parseContract | Michelson.Runtime |
| ParseContractAddressError | Tezos.Address |
| parseDef | Michelson.Parser.Helpers |
| ParsedInstr | Michelson.Macro |
| ParsedOp | Michelson.Macro |
| ParsedUExtInstr | Michelson.Macro |
| ParsedValue | Michelson.Macro |
| parseEpAddress | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParseEpAddressBadAddress | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParseEpAddressError | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParseEpAddressRefAnnError | Michelson.Typed.EntryPoints, Michelson.Typed |
| ParseErrorBundle | Michelson.Parser.Error, Michelson.Parser |
| parseExpandContract | Michelson.Runtime |
| parseExpandValue | Michelson.Parser |
| parseImpl | Tezos.Crypto.Util |
| parseKeyHash | Tezos.Crypto |
| parseLorentzValue | Lorentz.Base, Lorentz |
| parseNoEnv | Michelson.Parser |
| parsePublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| Parser | Michelson.Parser.Types, Michelson.Parser |
| ParserException | |
| 1 (Type/Class) | Michelson.Parser.Error, Michelson.Parser |
| 2 (Data Constructor) | Michelson.Parser.Error, Michelson.Parser |
| parseSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| parseTimestamp | Tezos.Core |
| parseValue | Michelson.Parser |
| Path | Michelson.Typed.Haskell.Instr.Helpers, Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| PatternMatch | Util.Type |
| PatternMatchL | Util.Type |
| pbsEnglish | Lorentz.EntryPoints.Doc, Lorentz |
| pbsHaskell | Lorentz.EntryPoints.Doc, Lorentz |
| pbsMichelson | Lorentz.EntryPoints.Doc, Lorentz |
| pbsUParam | Lorentz.UParam, Lorentz |
| Peano | Util.Peano |
| peanoVal | Util.Peano |
| peanoVal' | Util.Peano |
| peanoValSing | Util.Peano |
| pepNone | Lorentz.EntryPoints, Lorentz |
| pepPlain | Lorentz.EntryPoints, Lorentz |
| pepRecursive | Lorentz.EntryPoints, Lorentz |
| permute2Def | Util.Default, Michelson.Parser.Annotations |
| permute3Def | Util.Default, Michelson.Parser.Annotations |
| pesNotes | Lorentz.EntryPoints, Lorentz |
| pickFutureContract | Lorentz.Macro, Lorentz |
| PickMarkedFields | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| pkBytes | Tezos.Crypto.Secp256k1 |
| PlainEntryPointsKind | Lorentz.EntryPoints.Doc, Lorentz |
| poly1TypeDocMdReference | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| poly2TypeDocMdReference | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| PolyTypeHasDocC | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| Pos | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| Positive | Util.Positive |
| positive | Michelson.Parser.Helpers |
| PositiveUnsafe | Util.Positive |
| postfixLFields | Util.Lens |
| ppaiir | Lorentz.Macro, Lorentz |
| prepareContract | Michelson.Runtime |
| Prettier | |
| 1 (Type/Class) | Michelson.Printer.Util |
| 2 (Data Constructor) | Michelson.Printer.Util |
| Prim | Michelson.Macro |
| PrimEx | Michelson.Untyped.Instr, Michelson.Untyped |
| primInstr | Michelson.Parser.Instr |
| PRINT | Michelson.Typed.Instr, Michelson.Typed |
| PrintComment | |
| 1 (Type/Class) | Michelson.Untyped.Ext, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Ext, Michelson.Untyped |
| 3 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| 4 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| printComment | |
| 1 (Function) | Michelson.Parser.Ext, Michelson.Parser |
| 2 (Function) | Lorentz.Ext, Lorentz |
| printDoc | Michelson.Printer.Util, Michelson.Printer |
| PrintedValScope | Michelson.Typed.Scope, Michelson.Typed |
| printLorentzContract | Lorentz.Print, Lorentz |
| printLorentzValue | Lorentz.Print, Lorentz |
| printSomeContract | Michelson.Printer |
| printTypedContract | Michelson.Printer |
| printTypedFullContract | Michelson.Printer |
| printTypedValue | Michelson.Printer |
| printUntypedContract | Michelson.Printer |
| program | Michelson.Parser |
| ProperConstantBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properConstantEvi | Michelson.Typed.Scope, Michelson.Typed |
| ProperPackedValBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properPackedValEvi | Michelson.Typed.Scope, Michelson.Typed |
| ProperParameterBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properParameterEvi | Michelson.Typed.Scope, Michelson.Typed |
| ProperPrintedValBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properPrintedValEvi | Michelson.Typed.Scope, Michelson.Typed |
| ProperStorageBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properStorageEvi | Michelson.Typed.Scope, Michelson.Typed |
| ProperUnpackedValBetterErrors | Michelson.Typed.Scope, Michelson.Typed |
| properUnpackedValEvi | Michelson.Typed.Scope, Michelson.Typed |
| Proxy | |
| 1 (Data Constructor) | Lorentz.Prelude, Lorentz |
| 2 (Type/Class) | Lorentz.Prelude, Lorentz |
| PublicKey | |
| 1 (Type/Class) | Tezos.Crypto.Secp256k1 |
| 2 (Data Constructor) | Tezos.Crypto.Secp256k1 |
| 3 (Type/Class) | Tezos.Crypto.P256 |
| 4 (Data Constructor) | Tezos.Crypto.P256 |
| 5 (Type/Class) | Tezos.Crypto.Ed25519 |
| 6 (Data Constructor) | Tezos.Crypto.Ed25519 |
| 7 (Type/Class) | Tezos.Crypto, Lorentz.Value, Lorentz |
| PublicKeyEd25519 | Tezos.Crypto |
| publicKeyLengthBytes | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| PublicKeyP256 | Tezos.Crypto |
| PublicKeySecp256k1 | Tezos.Crypto |
| publicKeyToBytes | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| pure | Lorentz.Rebinded, Lorentz |
| PUSH | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| push | Lorentz.Instr, Lorentz |
| pushContractRef | Lorentz.Macro, Lorentz |