| WellTyped | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| WellTypedOp | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| WellTypedSeq | Morley.Michelson.TypeCheck.TypeCheckedSeq |
| WellTypedSuperC | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed, Morley.Michelson.Typed |
| WellTypedToT | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| withCompareableCheck | Morley.Michelson.TypeCheck.Helpers |
| WithDeMorganScope | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| withDeMorganScope | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| withDepths | Morley.Util.CustomGeneric |
| withDict | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| WithFinalizedDoc | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| WithinParens | |
| 1 (Type/Class) | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| withList | Morley.Util.SizedList |
| WithLoc | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| WithMeta | Morley.Micheline.Expression.WithMeta |
| withNonEmpty | Morley.Util.SizedList |
| withPeanoSingI | Morley.Util.Peano |
| withSingIOne | Morley.Util.Sing |
| withSomePeano | Morley.Util.Peano |
| WithSrcEx | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| withUType | Morley.Michelson.Typed.Extract, Morley.Michelson.Typed |
| withValueTypeSanity | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| withWTPm | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| word | Morley.Michelson.Parser.Lexer |
| wrapInParens | Morley.Michelson.Printer.Util |
| wrapMain | Morley.Util.Main |
| writeGState | Morley.Michelson.Runtime.GState |
| writeMText | Morley.Michelson.Text |