Struct DisplayExpr

pub struct DisplayExpr<'a, M: Marker>(/* private fields */);

Display a Simplicity expression as a linear string.

The linear string has no sharing and may be exponentially larger than the underlying shared expression.

There are some basic transformations to increase readability:

Infix notation

pair s t → s & t

comp s t → s; t

Booleans

injl unit → false

injr unit → true

Selectors

take drop iden → OIH

Sequences of take and drop that end in iden are transformed as follows:

take → O (looks like zero)

drop → I (looks like one)

iden → H

Trait Implementations

impl<'a, M: Marker> Debug for DisplayExpr<'a, M>

where &'a Node<M>: DagLike,

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

Formats the value using the given formatter.

impl<'a, M: Marker> Display for DisplayExpr<'a, M>

where &'a Node<M>: DagLike,

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

Formats the value using the given formatter.

impl<'a, M: Marker> From<&'a Node<M>> for DisplayExpr<'a, M>

fn from(node: &'a Node<M>) -> Self

Converts to this type from the input type.