Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def align(d: Doc): Doc

   Definition Classes

   PrettyPrinterBase

5.  def ampersand: Doc

   Definition Classes

   PrettyPrinterBase

6.  def angles(d: Doc): Doc

   Definition Classes

   PrettyPrinterBase

7.  def any(a: Any): Doc

   Definition Classes

   PrettyPrinterBase

8.  def arguments[T](l: Seq[T], elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

   Definition Classes

   PrettyPrinterBase

9.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10.  def asterisk: Doc

    Definition Classes

    PrettyPrinterBase

11.  def atsign: Doc

    Definition Classes

    PrettyPrinterBase

12.  def backquote: Doc

    Definition Classes

    PrettyPrinterBase

13.  def backslash: Doc

    Definition Classes

    PrettyPrinterBase

14.  def binToDoc(l: SValue, op: String, r: SValue): Doc

    Return a pretty-printing document for an instance of a binary expression.

    Return a pretty-printing document for an instance of a binary expression.

    Definition Classes

    SigmaPrinter

15.  def braces(d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

16.  def brackets(d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

17.  def caret: Doc

    Definition Classes

    PrettyPrinterBase

18.  def cat(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

19.  implicit def char(c: Char): Doc

    Definition Classes

    PrettyPrinterBase

20.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

21.  def colon: Doc

    Definition Classes

    PrettyPrinterBase

22.  def column(f: (Int) ⇒ Doc): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

23.  def comma: Doc

    Definition Classes

    PrettyPrinterBase

24.  val defaultIndent: Int

    Definition Classes

    PrettyPrinterBase

25.  val defaultWidth: Int

    Definition Classes

    PrettyPrinterBase

26.  def dollar: Doc

    Definition Classes

    PrettyPrinterBase

27.  def dot: Doc

    Definition Classes

    PrettyPrinterBase

28.  def dquote: Doc

    Definition Classes

    PrettyPrinterBase

29.  def dquotes(d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

30.  def emptyDoc: Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

31.  def enclose(l: Doc, d: Doc, r: Doc): Doc

    Definition Classes

    PrettyPrinterBase

32.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

33.  def equal: Doc

    Definition Classes

    PrettyPrinterBase

34.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

35.  def exclamation: Doc

    Definition Classes

    PrettyPrinterBase

36.  def fillcat(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

37.  def fillsep(ds: Seq[Doc], sep: Doc): Doc

    Definition Classes

    PrettyPrinterBase

38.  def fillsep(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

39.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

40.  def folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc

    Definition Classes

    PrettyPrinterBase

41.  def format(t: SType): Document

    Format a type.

    Format a type.

    Definition Classes

    SigmaPrinter

42.  def format(t: SValue): Document

    Format a lambda expression.

    Format a lambda expression.

    Definition Classes

    SigmaPrinter

43.  def formattedLayout(t: SType): String

    The layout from formatting a type.

    The layout from formatting a type.

    Definition Classes

    SigmaPrinter

44.  def formattedLayout(t: SValue): String

    The layout from formatting a lambda expression.

    The layout from formatting a lambda expression.

    Definition Classes

    SigmaPrinter

45.  def forwslash: Doc

    Definition Classes

    PrettyPrinterBase

46.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

47.  def group(d: Doc): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

48.  def hang(d: Doc, i: Indent): Doc

    Definition Classes

    PrettyPrinterBase

49.  def hash: Doc

    Definition Classes

    PrettyPrinterBase

50.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

51.  def hcat(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

52.  def hsep(ds: Seq[Doc], sep: Doc): Doc

    Definition Classes

    PrettyPrinterBase

53.  def hsep(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

54.  def indent(d: Doc, i: Indent): Doc

    Definition Classes

    PrettyPrinterBase

55.  def insert(len: Int, entry: Entry): Doc

    Definition Classes

    PrettyPrinter

56.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

57.  def langle: Doc

    Definition Classes

    PrettyPrinterBase

58.  def layout(d: Doc, w: Width): Layout

    Definition Classes

    PrettyPrinterBase

59.  def lbrace: Doc

    Definition Classes

    PrettyPrinterBase

60.  def lbracket: Doc

    Definition Classes

    PrettyPrinterBase

61.  def leave(c: TreeCont): TreeCont

    Definition Classes

    PrettyPrinter

62.  def line: Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

63.  def line(repl: Layout): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

64.  def linebreak: Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

65.  def link(n: AnyRef, d: Doc): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

66.  def links(d: Doc, w: Width): Links

    Definition Classes

    PrettyPrinterBase

67.  def list[T](l: List[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Definition Classes

    PrettyPrinterBase

68.  def lparen: Doc

    Definition Classes

    PrettyPrinterBase

69.  def lsep(ds: Seq[Doc], sep: Doc): Doc

    Definition Classes

    PrettyPrinterBase

70.  def lsep2(ds: Seq[Doc], sep: Doc): Doc

    Definition Classes

    PrettyPrinterBase

71.  def lterm(ds: Seq[Doc], term: Doc): Doc

    Definition Classes

    PrettyPrinterBase

72.  def minus: Doc

    Definition Classes

    PrettyPrinterBase

73.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

74.  def nest(d: Doc, j: Indent): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

75.  def nesting(f: (Int) ⇒ Doc): Doc

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

76.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

77.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

78.  def output(o: Out, r: Int, entry: Entry): More[Buffer]

    Definition Classes

    PrettyPrinter

79.  def padto(p: Int, d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

80.  def padtobreak(p: Int, d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

81.  def parens(d: Doc): Doc

    Definition Classes

    PrettyPrinterBase

82.  def percent: Doc

    Definition Classes

    PrettyPrinterBase

83.  def plus: Doc

    Definition Classes

    PrettyPrinterBase

84.  def pretty(d: Doc, w: Width): Document

    Definition Classes

    PrettyPrinter → PrettyPrinterBase

85.  def prune(c1: TreeCont): TreeCont

    Definition Classes

    PrettyPrinter

86.  def question: Doc

    Definition Classes

    PrettyPrinterBase

87.  def rangle: Doc

    Definition Classes

    PrettyPrinterBase

88.  def rbrace: Doc

    Definition Classes

    PrettyPrinterBase

89.  def rbracket: Doc

    Definition Classes

    PrettyPrinterBase

90.  def rparen: Doc

    Definition Classes

    PrettyPrinterBase

91.  def scan(l: Width, out: OutGroup)(c: TreeCont): Trampoline[TreeCont]

    Definition Classes

    PrettyPrinter

92.  def semi: Doc

    Definition Classes

    PrettyPrinterBase

93.  def sep(ds: Seq[Doc]): Doc

    Definition Classes

    PrettyPrinterBase

94.  def seq[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

    Definition Classes

    PrettyPrinterBase

95.  def softbreak: Doc

    Definition Classes

    PrettyPrinterBase

96.  def softline: Doc

    Definition Classes

    PrettyPrinterBase

97.  def space: Doc

    Definition Classes

    PrettyPrinterBase

98.  def spaces(n: Int): Doc

    Definition Classes

    PrettyPrinterBase

99.  def squote: Doc

    Definition Classes

    PrettyPrinterBase

100.  def squotes(d: Doc): Doc

     Definition Classes

     PrettyPrinterBase

101.  def ssep(ds: Seq[Doc], sep: Doc): Doc

     Definition Classes

     PrettyPrinterBase

102.  def sterm(ds: Seq[Doc], term: Doc): Doc

     Definition Classes

     PrettyPrinterBase

103.  def string(s: String): Doc

     Definition Classes

     PrettyPrinterBase

104.  def surround(d: Doc, b: Doc): Doc

     Definition Classes

     PrettyPrinterBase

105.  final def synchronized[T0](arg0: ⇒ T0): T0

     Definition Classes

     AnyRef

106.  implicit def text(t: String): Doc

     Definition Classes

     PrettyPrinter → PrettyPrinterBase

107.  def tilde: Doc

     Definition Classes

     PrettyPrinterBase

108.  def toDoc(t: SValue): Doc

     Convert an expression node to a pretty-printing document in fully-parenthesised style.

     Convert an expression node to a pretty-printing document in fully-parenthesised style.

     Definition Classes

     SigmaPrinter

109.  def toString(): String

     Definition Classes

     AnyRef → Any

110.  def typeToDoc(t: SType): Doc

     Return a pretty-printing document for an instance of a type.

     Return a pretty-printing document for an instance of a type.

     Definition Classes

     SigmaPrinter

111.  def typedeclToDoc(t: SType): Doc

     Return a pretty-printing document for an instance of a type declaration.

     Return a pretty-printing document for an instance of a type declaration.

     Definition Classes

     SigmaPrinter

112.  def underscore: Doc

     Definition Classes

     PrettyPrinterBase

113.  def value(v: Any): Doc

     Definition Classes

     PrettyPrinterBase

114.  def vcat(ds: Seq[Doc]): Doc

     Definition Classes

     PrettyPrinterBase

115.  def verticalbar: Doc

     Definition Classes

     PrettyPrinterBase

116.  def vsep(ds: Seq[Doc], sep: Doc): Doc

     Definition Classes

     PrettyPrinterBase

117.  def vsep(ds: Seq[Doc]): Doc

     Definition Classes

     PrettyPrinterBase

118.  final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

119.  final def wait(arg0: Long, arg1: Int): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

120.  final def wait(arg0: Long): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... ) @native()

121.  def width(d: Doc, f: (Int) ⇒ Doc): Doc

     Definition Classes

     PrettyPrinterBase