Frag

object Frag
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case object Break extends Frag

Break is a line-break fragment. Its compact form is empty.

Break is a line-break fragment. Its compact form is empty.

final case class Group(frags: List[Frag]) extends Frag

Group is a group of fragments to control line breaks.

Group is a group of fragments to control line breaks.

final case class Indent(frags: List[Frag]) extends Frag

Indent is a fragment to increase indentation in its fragments.

Indent is a fragment to increase indentation in its fragments.

case object Line extends Frag

Line is a line fragment. Its compact form is a single whitespace.

Line is a line fragment. Its compact form is a single whitespace.

final case class Lit(content: String) extends Frag

Lit is a literal string fragment.

Lit is a literal string fragment.

final case class Wide(content: String) extends Frag

Wide is a literal string fragment only for wide rendering.

Wide is a literal string fragment only for wide rendering.

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def render(frags: List[Frag], width: Int, indentSize: Int): String

Renders fragments by fitting the specified width.

Renders fragments by fitting the specified width.