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

Client API for creating complex Oak labels #1265

Closed
ipetr0v opened this issue Jul 16, 2020 · 0 comments
Closed

Client API for creating complex Oak labels #1265

ipetr0v opened this issue Jul 16, 2020 · 0 comments

Comments

@ipetr0v
Copy link
Contributor

ipetr0v commented Jul 16, 2020

After finishing #1207 we need to implement a simple version of the client API for IFC.

Client should create complex labels using the following two macro: and!, or!.
For example:

label = or![
  and![user_a, user_b],
  and![mod_a, mod_b],
];

where user_* are labels represented by user tokens, and mod_* are Oak module hashes.

@ipetr0v ipetr0v added this to the IFC v1 milestone Jul 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants