Overview  Index  Help 
SMLFormat

PrinterParameter


structure PrinterParameter : PRINTER_PARAMETER =
struct
  datatype parameter =
           Newline of string
         | Space of string
         | Columns of int
         | GuardLeft of string
         | GuardRight of string
  val defaultNewline : string
  val defaultSpace : string
  val defaultColumns : int
  val defaultGuardLeft : string
  val defaultGuardRight : string
end

parameter for pretty-printer.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrPrinterParameter.html,v 1.5 2007/03/27 15:03:01 kiyoshiy Exp $

   
Datatype detail

parameter

datatype parameter =
         Newline of string
       | Space of string
       | Columns of int
       | GuardLeft of string
       | GuardRight of string

 
DataConstructor detail

Newline

constructor Newline : string -> parameter


Space

constructor Space : string -> parameter


Columns

constructor Columns : int -> parameter


GuardLeft

constructor GuardLeft : string -> parameter


GuardRight

constructor GuardRight : string -> parameter

 
Value detail

defaultNewline

val defaultNewline : string


defaultSpace

val defaultSpace : string


defaultColumns

val defaultColumns : int


defaultGuardLeft

val defaultGuardLeft : string


defaultGuardRight

val defaultGuardRight : string

 


Overview  Index  Help 
SMLFormat: Pretty-Printer library for SML