| P | Michelson.Macro |
| PACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| pack | Lorentz.Instr, Lorentz |
| 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 |
| Parameter | Michelson.Untyped.Contract, Michelson.Untyped |
| parens | Michelson.Parser.Lexer |
| parseAddress | Tezos.Address |
| parseContract | Michelson.Runtime |
| parseDef | Michelson.Parser.Helpers |
| ParsedInstr | Michelson.Macro |
| ParsedOp | Michelson.Macro |
| ParsedUExtInstr | Michelson.Macro |
| ParsedUTestAssert | Michelson.Macro |
| ParsedValue | Michelson.Macro |
| ParseErrorBundle | Michelson.Parser.Error, Michelson.Parser |
| parseExpandContract | Michelson.Runtime |
| parseKeyHash | Tezos.Crypto |
| parseNoEnv | Michelson.Parser |
| parsePublicKey | 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 |
| parseSecretKey | Tezos.Crypto |
| parseSignature | Tezos.Crypto |
| parseTimestamp | Tezos.Core |
| Path | Michelson.Typed.Haskell.Instr.Helpers |
| Peano | Util.Peano |
| peanoVal | Util.Peano |
| peanoVal' | Util.Peano |
| permute2Def | Util.Default, Michelson.Parser.Annotations |
| permute3Def | Util.Default, Michelson.Parser.Annotations |
| Pos | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| postfixLFields | Util.Lens |
| ppaiir | Lorentz.Macro, Lorentz |
| prepareContract | Michelson.Runtime |
| 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 |
| printLorentzContract | Lorentz.Base, Lorentz |
| printTypedContract | Michelson.Printer |
| printUntypedContract | Michelson.Printer |
| program | Michelson.Parser |
| ProhibitedLetType | Michelson.Parser.Error, Michelson.Parser |
| PublicKey | |
| 1 (Type/Class) | Tezos.Crypto, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Tezos.Crypto |
| 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 |