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

Update the API #26

Open
Tamriel opened this issue Apr 20, 2017 · 3 comments
Open

Update the API #26

Tamriel opened this issue Apr 20, 2017 · 3 comments

Comments

@Tamriel
Copy link
Contributor

Tamriel commented Apr 20, 2017

The JSON CRDT paper was updated: "we have slightly refined the API, improved the clarity of explanations, and added some more examples".
It would be great if the crjdt code will be updated to the paper :-)

@fthomas
Copy link
Owner

fthomas commented Apr 20, 2017

Agreed! Do you know which parts of the API were changed?

@Tamriel
Copy link
Contributor Author

Tamriel commented Apr 20, 2017

Fig. 7 in the new paper has now
EXPR.insertAfter(v) instead of EXPR.insert(v)
EXPR.get(key) instead of EXPR[key]
EXPR.idx(i) instead of EXPR.iter and EXPR.next.
The rules for evaluating IDX are found at the bottom right of page 7. They replace the ITER rules.

@fthomas
Copy link
Owner

fthomas commented Apr 21, 2017

This is great, thanks @Tamriel!

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

No branches or pull requests

2 participants