in scala/text
class Document

abstract class Document()
extends Object
with ScalaObject
Implementing classes or objects:
object DocNil
class DocGroup(doc: Document)
class DocNest(indent: Int, doc: Document)
class DocCons(hd: Document, tl: Document)
class DocText(txt: String)
object DocBreak

A basic pretty-printing library, based on Lindig's strict version of Wadler's adaptation of Hughes' pretty-printer.
Author:
Michel Schinz
Version:
1.0

Method Summary
  def :/:(hd: Document): Document
  def :/:(hd: String): Document
  def ::(hd: Document): Document
  def ::(hd: String): Document
  def format(width: Int, writer: java.io.Writer): Unit
     Format this document on WRITER and try to set line breaks so that the result fits in WIDTH columns.

Methods inherited from java/lang/Object-class
clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, toString, wait, wait, wait

Methods inherited from scala/Any-class
!=, ==, asInstanceOf, isInstanceOf, match

Methods inherited from scala/ScalaObject-class
getScalaType

Method Detail

::

  def ::(hd: Document): Document

::

  def ::(hd: String): Document

:/:

  def :/:(hd: Document): Document

:/:

  def :/:(hd: String): Document

format

  def format(width: Int, writer: java.io.Writer): Unit
Format this document on WRITER and try to set line breaks so that the result fits in WIDTH columns.