New issue
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
make ExUnit type parameteric, but hide details #2515
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
How does this help consensus? Presumably they still have no BoundedMeasure
for ExUnits
. Do they convert to another format which has a bound?
|
||
instance NoThunks ExUnits | ||
|
||
instance NFData ExUnits | ||
|
||
pattern ExUnits :: Natural -> Natural -> ExUnits |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we might want some comments here explaining why this is needed, otherwise it's a bit weird!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
great point!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've added some prose. Let me know if you think it makes sense.
That right, they will use |
0fd4f62
to
889771f
Compare
@JaredCorduan @nc6 Apologies for the delayed response! I think Consensus will also need |
This should make it easier for consensus to add a
BoundedMeasure
instance toExUnits
.