Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def apply[A](fn: (A, Int) => String): Printer[A]
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- def display[A](a: A, lines: Int = 20)(implicit printer: Printer[A]): Unit
- implicit val doublePrint: Printer[Double]
- final def eq(arg0: AnyRef): Boolean
- implicit def eqTermPrint: Printer[EquationNode]
- def equals(arg0: AnyRef): Boolean
- implicit def equationPrint: Printer[Equation]
- def exprView(expr: Expression): String
- implicit def fallbackPrinter[A]: Printer[A]
- implicit def fdPrint[A](implicit p: Printer[A]): Printer[FiniteDistribution[A]]
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- implicit def jsPrinter[U <: Value]: Printer[U]
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- implicit def pairPrint[A, B](implicit p1: Printer[A], p2: Printer[B]): Printer[(A, B)]
- val pp: PPrinter
- def pretty[A](a: A, lines: Int = -1)(implicit printer: Printer[A]): Unit
- def simple[A](fn: (A) => String): Printer[A]
- implicit val strPrint: Printer[String]
- final def synchronized[T0](arg0: => T0): T0
- implicit def termPrint[U <: Term]: Printer[U]
- def toString(): String
- implicit def vecPrint[A](implicit p: Printer[A]): Printer[Vector[A]]
- def view[A](a: A, lines: Int = 20)(implicit printer: Printer[A]): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
Deprecated Value Members
- def finalize(): Unit
Value Members
- implicit def fallbackPrinter[A]: Printer[A]
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def apply[A](fn: (A, Int) => String): Printer[A]
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- def display[A](a: A, lines: Int = 20)(implicit printer: Printer[A]): Unit
- implicit val doublePrint: Printer[Double]
- final def eq(arg0: AnyRef): Boolean
- implicit def eqTermPrint: Printer[EquationNode]
- def equals(arg0: AnyRef): Boolean
- implicit def equationPrint: Printer[Equation]
- def exprView(expr: Expression): String
- implicit def fallbackPrinter[A]: Printer[A]
- implicit def fdPrint[A](implicit p: Printer[A]): Printer[FiniteDistribution[A]]
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- implicit def jsPrinter[U <: Value]: Printer[U]
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- implicit def pairPrint[A, B](implicit p1: Printer[A], p2: Printer[B]): Printer[(A, B)]
- val pp: PPrinter
- def pretty[A](a: A, lines: Int = -1)(implicit printer: Printer[A]): Unit
- def simple[A](fn: (A) => String): Printer[A]
- implicit val strPrint: Printer[String]
- final def synchronized[T0](arg0: => T0): T0
- implicit def termPrint[U <: Term]: Printer[U]
- def toString(): String
- implicit def vecPrint[A](implicit p: Printer[A]): Printer[Vector[A]]
- def view[A](a: A, lines: Int = 20)(implicit printer: Printer[A]): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit