NamedExprs

class proveit.NamedExprs(*items, styles=None)

Bases: proveit.Composite, proveit.Expression

An NamedExprs is a composite expr that maps strings to Expressions.

Methods Summary

items(self)
keys(self)
latex(self, \*\*kwargs)	Return a latex-formatted representation of the Expression.
remake_arguments(self)	Yield the argument (name, value) pairs that could be used to recreate the NamedExprs.
string(self, \*\*kwargs)	Return a string representation of the Expression.
values(self)

Methods Documentation

items(self)

keys(self)

latex(self, \*\*kwargs)

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

remake_arguments(self)

Yield the argument (name, value) pairs that could be used to recreate the NamedExprs. Wrap the names in quotation marks

string(self, \*\*kwargs)

Return a string representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

values(self)