Skip to content
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

Add a fieldsOf operator to get record field names #162

Merged
merged 4 commits into from Oct 21, 2020

Conversation

yannham
Copy link
Member

@yannham yannham commented Oct 8, 2020

Required by #157 to implement records contracts in pure Nickel. Also useful in general. Add a builtin operator fieldsOf which takes a record and return the name of its fields a sorted string list. Same as attrNames in Nix.

@dpulls
Copy link

dpulls bot commented Oct 16, 2020

🎉 All dependencies have been resolved !

@yannham yannham marked this pull request as ready for review October 16, 2020 13:21
src/operation.rs Show resolved Hide resolved
@yannham yannham merged commit fd8d170 into master Oct 21, 2020
@yannham yannham deleted the feature/fields-of-op branch October 21, 2020 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants