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
A reference to a function dbEq is made in section A Universe of Data in the following sentence:
dbEq
The definition of dbEq can be used to define a BEq instance for the types that are coded for by DBType:
The reference should be to the function DBType.beq.
DBType.beq
The text was updated successfully, but these errors were encountered:
No branches or pull requests
A reference to a function
dbEq
is made in section A Universe of Data in the following sentence:The reference should be to the function
DBType.beq
.The text was updated successfully, but these errors were encountered: