Packages

t

provingground.interface

FallbackDisplay

trait FallbackDisplay extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FallbackDisplay
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def fromPrinter[A](implicit printer: Printer[A]): Display[A]
  2. val pp: PPrinter