We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
LogicValue
There are multiple ways to create a LogicValue with no width, but none of them feel that clean.
Something like LogicValue.empty which always returns a 0-width LogicValue, ideally the most efficiently implemented way, would be convenient.
LogicValue.empty
Add a new constant to LogicValue to create a zero-width value.
Just use LogicValue.of([]), or something similar.
LogicValue.of([])
No response
The text was updated successfully, but these errors were encountered:
mkorbel1
Successfully merging a pull request may close this issue.
Motivation
There are multiple ways to create a
LogicValue
with no width, but none of them feel that clean.Something like
LogicValue.empty
which always returns a 0-widthLogicValue
, ideally the most efficiently implemented way, would be convenient.Desired solution
Add a new constant to
LogicValue
to create a zero-width value.Alternatives considered
Just use
LogicValue.of([])
, or something similar.Additional details
No response
The text was updated successfully, but these errors were encountered: