Struct pretty::DocBuilder

pub struct DocBuilder<'a, D, A = ()>(pub &'a D, pub BuildDoc<'a, D::Doc, A>)
 where
    D: ?Sized + DocAllocator<'a, A>;

The DocBuilder type allows for convenient appending of documents even for arena allocated documents by storing the arena inline.

Tuple Fields

0: &'a D

1: BuildDoc<'a, D::Doc, A>

Implementations

impl<'a, D, A> DocBuilder<'a, D, A> where
    A: 'a,
    D: ?Sized + DocAllocator<'a, A>, 

pub fn append<E>(self, that: E) -> DocBuilder<'a, D, A> where
    E: Pretty<'a, D, A>, 

Append the given document after this document.

pub fn flat_alt<E>(self, that: E) -> DocBuilder<'a, D, A> where
    E: Pretty<'a, D, A>, 

Acts as self when laid out on multiple lines and acts as that when laid out on a single line.

use pretty::{Arena, DocAllocator};

let arena = Arena::<()>::new();
let body = arena.line().append("x");
let doc = arena.text("let")
    .append(arena.line())
    .append("x")
    .group()
    .append(
        body.clone()
            .flat_alt(
                arena.line()
                    .append("in")
                    .append(body)
            )
    )
    .group();

assert_eq!(doc.1.pretty(100).to_string(), "let x in x");
assert_eq!(doc.1.pretty(8).to_string(), "let x\nx");

pub fn group(self) -> DocBuilder<'a, D, A>

Mark this document as a group.

Groups are layed out on a single line if possible. Within a group, all basic documents with several possible layouts are assigned the same layout, that is, they are all layed out horizontally and combined into a one single line, or they are each layed out on their own line.

pub fn nest(self, offset: isize) -> DocBuilder<'a, D, A>

Increase the indentation level of this document.

pub fn annotate(self, ann: A) -> DocBuilder<'a, D, A>

pub fn union<E>(self, other: E) -> DocBuilder<'a, D, A> where
    E: Into<BuildDoc<'a, D::Doc, A>>, 

pub fn align(self) -> DocBuilder<'a, D, A> where
    DocBuilder<'a, D, A>: Clone, 

Lays out self so with the nesting level set to the current column

NOTE: The doc pointer type, D may need to be cloned. Consider using cheaply cloneable ptr like RefDoc or RcDoc

use pretty::DocAllocator;

let arena = pretty::Arena::<()>::new();
let doc = arena.text("lorem").append(arena.text(" "))
    .append(arena.intersperse(["ipsum", "dolor"].iter().cloned(), arena.line_()).align());
assert_eq!(doc.1.pretty(80).to_string(), "lorem ipsum\n      dolor");

pub fn hang(self, adjust: isize) -> DocBuilder<'a, D, A> where
    DocBuilder<'a, D, A>: Clone, 

Lays out self with a nesting level set to the current level plus adjust.

NOTE: The doc pointer type, D may need to be cloned. Consider using cheaply cloneable ptr like RefDoc or RcDoc

use pretty::DocAllocator;

let arena = pretty::Arena::<()>::new();
let doc = arena.text("prefix").append(arena.text(" "))
    .append(arena.reflow("Indenting these words with nest").hang(4));
assert_eq!(
    doc.1.pretty(24).to_string(),
    "prefix Indenting these\n           words with\n           nest",
);

pub fn indent(self, adjust: usize) -> DocBuilder<'a, D, A> where
    DocBuilder<'a, D, A>: Clone, 

Indents self by adjust spaces from the current cursor position

NOTE: The doc pointer type, D may need to be cloned. Consider using cheaply cloneable ptr like RefDoc or RcDoc

use pretty::DocAllocator;

let arena = pretty::Arena::<()>::new();
let doc = arena.text("prefix").append(arena.text(" "))
    .append(arena.reflow("The indent function indents these words!").indent(4));
assert_eq!(
    doc.1.pretty(24).to_string(),
"
prefix     The indent
           function
           indents these
           words!".trim_start(),
);

pub fn width(self, f: impl Fn(isize) -> D::Doc + 'a) -> DocBuilder<'a, D, A> where
    BuildDoc<'a, D::Doc, A>: Clone, 

Lays out self and provides the column width of it available to f

NOTE: The doc pointer type, D may need to be cloned. Consider using cheaply cloneable ptr like RefDoc or RcDoc

use pretty::DocAllocator;

let arena = pretty::Arena::<()>::new();
let doc = arena.text("prefix ")
    .append(arena.column(|l| {
        arena.text("| <- column ").append(arena.as_string(l)).into_doc()
    }));
assert_eq!(doc.1.pretty(80).to_string(), "prefix | <- column 7");

pub fn enclose<E, F>(self, before: E, after: F) -> DocBuilder<'a, D, A> where
    E: Pretty<'a, D, A>,
    F: Pretty<'a, D, A>, 

Puts self between before and after

pub fn single_quotes(self) -> DocBuilder<'a, D, A>

pub fn double_quotes(self) -> DocBuilder<'a, D, A>

pub fn parens(self) -> DocBuilder<'a, D, A>

pub fn angles(self) -> DocBuilder<'a, D, A>

pub fn braces(self) -> DocBuilder<'a, D, A>

pub fn brackets(self) -> DocBuilder<'a, D, A>

pub fn into_doc(self) -> D::Doc

Methods from Deref<Target = Doc<'a, D::Doc, A>>

pub fn render<W>(&self, width: usize, out: &mut W) -> Result<()> where
    W: ?Sized + Write, 

Writes a rendered document to a std::io::Write object.

pub fn render_fmt<W>(&self, width: usize, out: &mut W) -> Result where
    W: ?Sized + Write, 

Writes a rendered document to a std::fmt::Write object.

pub fn render_raw<W>(&self, width: usize, out: &mut W) -> Result<(), W::Error> where
    for<'b> W: RenderAnnotated<'b, A>,
    W: ?Sized, 

Writes a rendered document to a RenderAnnotated<A> object.

pub fn pretty<'d>(&'d self, width: usize) -> PrettyFmt<'a, 'd, T, A>

Returns a value which implements std::fmt::Display

use pretty::{Doc, BoxDoc};
let doc = BoxDoc::<()>::group(
    BoxDoc::text("hello").append(Doc::line()).append(Doc::text("world"))
);
assert_eq!(format!("{}", doc.pretty(80)), "hello world");

pub fn render_colored<W>(&self, width: usize, out: W) -> Result<()> where
    W: WriteColor, 

Trait Implementations

impl<'a, D, A, P> Add<P> for DocBuilder<'a, D, A> where
    D: ?Sized + DocAllocator<'a, A>,
    P: Pretty<'a, D, A>, 

type Output = DocBuilder<'a, D, A>

The resulting type after applying the + operator.

fn add(self, other: P) -> Self::Output

Performs the + operation.

impl<'a, D, A, P> AddAssign<P> for DocBuilder<'a, D, A> where
    D: ?Sized + DocAllocator<'a, A>,
    P: Pretty<'a, D, A>, 

fn add_assign(&mut self, other: P)

Performs the += operation.

impl<'a, A, D> Clone for DocBuilder<'a, D, A> where
    A: Clone,
    D: DocAllocator<'a, A> + 'a,
    D::Doc: Clone, 

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, D, A> Debug for DocBuilder<'a, D, A> where
    D: ?Sized + DocAllocator<'a, A>,
    D::Doc: Debug,
    A: Debug, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, D, A> Deref for DocBuilder<'a, D, A> where
    D: ?Sized + DocAllocator<'a, A>, 

type Target = Doc<'a, D::Doc, A>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'a, D, A> Into<BuildDoc<'a, <D as DocAllocator<'a, A>>::Doc, A>> for DocBuilder<'a, D, A> where
    D: ?Sized + DocAllocator<'a, A>, 

fn into(self) -> BuildDoc<'a, D::Doc, A>

Performs the conversion.

impl<'a, D, A> Pretty<'a, D, A> for DocBuilder<'a, D, A> where
    A: 'a,
    D: ?Sized + DocAllocator<'a, A>, 

fn pretty(self, _: &'a D) -> DocBuilder<'a, D, A>

Converts self into a document