| WellTyped | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| WellTypedIsoValue | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| WellTypedOp | Michelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq |
| WellTypedSeq | Michelson.TypeCheck.TypeCheckedSeq |
| WellTypedToT | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| WithAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| withCompareableCheck | Michelson.TypeCheck.Helpers |
| withDepths | Util.CustomGeneric |
| withDict | Michelson.Typed.Scope, Michelson.Typed |
| WithFinalizedDoc | |
| 1 (Type/Class) | Michelson.Doc |
| 2 (Data Constructor) | Michelson.Doc |
| WithinParens | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| WithLoc | Michelson.Typed.Instr, Michelson.Typed |
| withSomeSingT | Michelson.Typed.Sing, Michelson.Typed |
| WithSrcEx | Michelson.Untyped.Instr, Michelson.Untyped |
| withUType | Michelson.Typed.Extract, Michelson.Typed |
| withValueTypeSanity | Michelson.Typed.Value, Michelson.Typed |
| withWTPm | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| word | Michelson.Parser.Lexer |
| word' | Michelson.Parser.Lexer |
| wrapInParens | Michelson.Printer.Util |
| wrapMain | Util.Main |
| writeGState | Michelson.Runtime.GState |
| writeMText | Michelson.Text |
| WrongAccessArgs | Michelson.Parser.Error, Michelson.Parser |
| WrongSetArgs | Michelson.Parser.Error, Michelson.Parser |
| WrongTagArgs | Michelson.Parser.Error, Michelson.Parser |