-
Notifications
You must be signed in to change notification settings - Fork 321
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
Short hand version for order_by
#3643
Conversation
type By_Column (columns : Vector Sort_Column.Column) | ||
type By_Name (columns : Vector (Sort_Column.Name | Text)) (matcher:Matcher=Text_Matcher) | ||
type By_Index (columns : Vector (Sort_Column.Index | Integer)) | ||
type By_Column (columns : Vector (Sort_Column.Column | Column)) |
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.
It is a bit worrisome to me that the Column
type actually does not exist! So we are lying a bit here and it may bite us once we have some validation of these type signatures.
Well - we have a Column
type but there is one for Table
and another for Database
and without interfaces we cannot really relate them. In the absence of typechecking, maybe we can go for Table.Column
, but in the longer term we probably need to replace this with some Column
interface. This is a common issue across the Table
/Database
library.
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 agree - this is a common issue and one the revised type system will need to resolve.
Pinging @ekmett - one to consider on the stuff you are working on.
cec3c83
to
1a1dd3d
Compare
1a1dd3d
to
00573ab
Compare
00573ab
to
3d9af6d
Compare
Pull Request Description
Implements https://www.pivotaltracker.com/story/show/182868310
Important Notes
Checklist
Please include the following checklist in your PR:
Scala,
Java,
and
Rust
style guides.
./run ide build
and./run ide watch
.