Enum pretty::Doc

pub enum Doc<'a, T, A = ()> {
    Nil,
    Append(T, T),
    Group(T),
    Nest(usize, T),
    Space,
    Newline,
    Text(Cow<'a, str>),
    Annotated(A, T),
}

The concrete document type. This type is not meant to be used directly. Instead use the static functions on Doc or the methods on an DocAllocator.

The T parameter is used to abstract over pointers to Doc. See RefDoc and BoxDoc for how it is used

Variants

Nil

Append(T, T)

Group(T)

Nest(usize, T)

Space

Newline

Text(Cow<'a, str>)

Annotated(A, T)

Implementations

impl<'a, T, A> Doc<'a, T, A>

pub fn nil() -> Doc<'a, T, A>

An empty document.

pub fn as_string<U: ToString>(data: U) -> Doc<'a, T, A>

The text t.to_string().

The given text must not contain line breaks.

pub fn newline() -> Doc<'a, T, A>

A single newline.

pub fn text<U: Into<Cow<'a, str>>>(data: U) -> Doc<'a, T, A>

The given text, which must not contain line breaks.

pub fn space() -> Doc<'a, T, A>

A space.

impl<'a, A> Doc<'a, BoxDoc<'a, A>, A>

pub fn append<D>(self, that: D) -> Doc<'a, BoxDoc<'a, A>, A>

where D: Into<Doc<'a, BoxDoc<'a, A>, A>>,

Append the given document after this document.

pub fn concat<I>(docs: I) -> Doc<'a, BoxDoc<'a, A>, A>

where I: IntoIterator, I::Item: Into<Doc<'a, BoxDoc<'a, A>, A>>,

A single document concatenating all the given documents.

pub fn intersperse<I, S>(docs: I, separator: S) -> Doc<'a, BoxDoc<'a, A>, A>

where I: IntoIterator, I::Item: Into<Doc<'a, BoxDoc<'a, A>, A>>, S: Into<Doc<'a, BoxDoc<'a, A>, A>> + Clone, A: Clone,

A single document interspersing the given separator S between the given documents. For example, if the documents are [A, B, C, ..., Z], this yields [A, S, B, S, C, S, ..., S, Z].

Compare the intersperse method from the itertools crate.

pub fn group(self) -> Doc<'a, BoxDoc<'a, A>, 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: usize) -> Doc<'a, BoxDoc<'a, A>, A>

Increase the indentation level of this document.

pub fn annotate(self, ann: A) -> Doc<'a, BoxDoc<'a, A>, A>

impl<'a, T, A> Doc<'a, T, A>

pub fn render<'b, W>(&'b self, width: usize, out: &mut W) -> Result<()>

where T: Deref<Target = Doc<'b, T, A>>, W: ?Sized + Write,

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

pub fn render_fmt<'b, W>(&'b self, width: usize, out: &mut W) -> Result

where T: Deref<Target = Doc<'b, T, A>>, W: ?Sized + Write,

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

pub fn render_raw<'b, W>( &'b self, width: usize, out: &mut W ) -> Result<(), W::Error>

where T: Deref<Target = Doc<'b, T, A>>, W: ?Sized + RenderAnnotated<A>,

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

pub fn pretty<'b>(&'b self, width: usize) -> Pretty<'b, T, A>

where T: Deref<Target = Doc<'b, T, A>>,

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

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

Trait Implementations

impl<'a, T: Clone, A: Clone> Clone for Doc<'a, T, A>

fn clone(&self) -> Doc<'a, T, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, T: Debug, A: Debug> Debug for Doc<'a, T, A>

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

Formats the value using the given formatter.

impl<'a, T, A, S> From<S> for Doc<'a, T, A>

where S: Into<Cow<'a, str>>,

fn from(s: S) -> Doc<'a, T, A>

Converts to this type from the input type.

impl<'a, D, A> Into<Doc<'a, <D as DocAllocator<'a, A>>::Doc, A>> for DocBuilder<'a, D, A>

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

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

Converts this type into the (usually inferred) input type.

impl<'a, T: Ord, A: Ord> Ord for Doc<'a, T, A>

fn cmp(&self, other: &Doc<'a, T, A>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl<'a, T: PartialEq, A: PartialEq> PartialEq for Doc<'a, T, A>

fn eq(&self, other: &Doc<'a, T, A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, T: PartialOrd, A: PartialOrd> PartialOrd for Doc<'a, T, A>

fn partial_cmp(&self, other: &Doc<'a, T, A>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'a, T: Eq, A: Eq> Eq for Doc<'a, T, A>

impl<'a, T, A> StructuralPartialEq for Doc<'a, T, A>