mlton/control/pretty.sig

   1 (* Copyright (C) 2017 Matthew Fluet.
   2  * Copyright (C) 2003-2005 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature PRETTY =
  10    sig
  11       type t = Layout.t
  12
  13       val casee: {default: t option,
  14                   rules: (t * t) vector,
  15                   test: t} -> t
  16       val conApp: {arg: t option,
  17                    con: Layout.t,
  18                    targs: Layout.t vector} -> t
  19       val handlee: {catch: t,
  20                     handler: t,
  21                     try: t} -> t
  22       val lett: t * t -> t
  23       val locall: t * t -> t
  24       val primApp: {args: t vector,
  25                     prim: t,
  26                     targs: t vector} -> t
  27       val raisee: t -> t
  28       val seq: t vector -> t
  29    end