Enum pretty::Doc

source ·
pub enum Doc<'a, T, A = ()>where
    T: DocPtr<'a, A>,{
Show 15 variants Nil, Append(T, T), Group(T), FlatAlt(T, T), Nest(isize, T), Hardline, RenderLen(usize, T), OwnedText(Box<str>), BorrowedText(&'a str), SmallText(SmallText), Annotated(A, T), Union(T, T), Column(T::ColumnFn), Nesting(T::ColumnFn), Fail,
}
Expand description

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)

§

FlatAlt(T, T)

§

Nest(isize, T)

§

Hardline

§

RenderLen(usize, T)

§

OwnedText(Box<str>)

§

BorrowedText(&'a str)

§

SmallText(SmallText)

§

Annotated(A, T)

§

Union(T, T)

§

Column(T::ColumnFn)

§

Nesting(T::ColumnFn)

§

Fail

Implementations§

source§

impl<'a, D, A> Doc<'a, D, A>where D: DocPtr<'a, A>,

source

pub fn nil() -> Self

An empty document.

source

pub fn hardline() -> Self

A single hardline.

source

pub fn space() -> Self

source

pub fn fail() -> Self

source§

impl<'a, D, A> Doc<'a, D, A>where D: StaticDoc<'a, A>,

source

pub fn line() -> Self

A line acts like a \n but behaves like space if it is grouped on a single line.

source

pub fn line_() -> Self

Acts like line but behaves like nil if grouped on a single line

source§

impl<'a, T, A> Doc<'a, T, A>where T: StaticDoc<'a, A>,

source

pub fn as_string<U: Display>(data: U) -> Self

The text t.to_string().

The given text must not contain line breaks.

source

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

The given text, which must not contain line breaks.

source§

impl<'a, T, A> Doc<'a, T, A>where T: DocPtr<'a, A> + 'a,

source

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.

source

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

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

source

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

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

source

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");
source§

impl<'a, T> Doc<'a, T, ColorSpec>where T: DocPtr<'a, ColorSpec> + 'a,

source

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

Trait Implementations§

source§

impl<'a, T, A: Clone> Clone for Doc<'a, T, A>where T: DocPtr<'a, A> + Clone, T::ColumnFn: Clone,

source§

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

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

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

source§

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

Formats the value using the given formatter. Read more
source§

impl<'a, T, A> Default for Doc<'a, T, A>where T: DocPtr<'a, A>,

source§

fn default() -> Self

Returns the “default value” for a type. Read more
source§

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

source§

fn from(doc: Doc<'a, BoxDoc<'a, A>, A>) -> BoxDoc<'a, A>

Converts to this type from the input type.
source§

impl<'a, A> From<Doc<'a, RcDoc<'a, A>, A>> for RcDoc<'a, A>

source§

fn from(doc: Doc<'a, RcDoc<'a, A>, A>) -> RcDoc<'a, A>

Converts to this type from the input type.
source§

impl<'a, T, A> From<Doc<'a, T, A>> for BuildDoc<'a, T, A>where T: DocPtr<'a, A>,

source§

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

Converts to this type from the input type.
source§

impl<'a, T, A, S> From<S> for Doc<'a, T, A>where T: StaticDoc<'a, A>, S: Into<Cow<'a, str>>,

source§

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

Converts to this type from the input type.
source§

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

source§

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

Converts self into a document

Auto Trait Implementations§

§

impl<'a, T, A> RefUnwindSafe for Doc<'a, T, A>where A: RefUnwindSafe, T: RefUnwindSafe, <T as DocPtr<'a, A>>::ColumnFn: RefUnwindSafe,

§

impl<'a, T, A> Send for Doc<'a, T, A>where A: Send, T: Send, <T as DocPtr<'a, A>>::ColumnFn: Send,

§

impl<'a, T, A> Sync for Doc<'a, T, A>where A: Sync, T: Sync, <T as DocPtr<'a, A>>::ColumnFn: Sync,

§

impl<'a, T, A> Unpin for Doc<'a, T, A>where A: Unpin, T: Unpin, <T as DocPtr<'a, A>>::ColumnFn: Unpin,

§

impl<'a, T, A> UnwindSafe for Doc<'a, T, A>where A: UnwindSafe, T: UnwindSafe, <T as DocPtr<'a, A>>::ColumnFn: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.