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.

Sign up for GitHub

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

Jump to bottom

Add Option type #667

Closed
ss2165 opened this issue Nov 28, 2024 · 1 comment · Fixed by #696
Closed

Add Option type #667

ss2165 opened this issue Nov 28, 2024 · 1 comment · Fixed by #696
Assignees
@mark-koch
Milestone
guppylang 0.14.0

Comments

@ss2165
Copy link
Member

ss2165 commented Nov 28, 2024

To map to HUGR option (sum of None, Some[T])

Ideally should be an interface we can in future replace with a guppy algebraic data type.

Functions:

  • new None
  • new Some(T)
  • unwrap()
  • is_none()
  • is_some()
@mark-koch
Copy link
Collaborator

  • Put it into it's own module
  • none() and some(value) for construction

@mark-koch mark-koch mentioned this issue Dec 9, 2024
Merged
@mark-koch mark-koch added this to the guppylang 0.14.0 milestone Dec 9, 2024
github-merge-queue bot pushed a commit that referenced this issue Dec 10, 2024
@mark-koch
feat: Add Option type to standard library (#696)
45ea6b7 
Closes #667.

Also generalises the `@guppy.type` decorator to handle generic types.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mark-koch mark-koch

Labels
None yet
Projects
None yet
Milestone
guppylang 0.14.0
Development

Successfully merging a pull request may close this issue.

feat: Add Option type to standard library CQCL/guppylang
2 participants
@ss2165 @mark-koch