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.unwrapLazy #148

Open
Dean177 opened this issue Jun 18, 2020 · 1 comment
Open

Add Option.unwrapLazy #148

Dean177 opened this issue Jun 18, 2020 · 1 comment
Labels
good first issue Good for newcomers help wanted Extra attention is needed in-dark-repo There's an implementation which can be copied from https://github.com/darklang/dark
Milestone
0.2.0 - Consistent

Comments

@Dean177
Copy link
Collaborator

Dean177 commented Jun 18, 2020

This should work the same way as Option.unwrap but the default value should be a 'a lazy rather than a 'a

getLazy : 'a option -> default:('a Lazy.t) -> 'a
@Dean177 Dean177 added help wanted Extra attention is needed good first issue Good for newcomers labels Jun 18, 2020
@pbiggar pbiggar added the in-dark-repo There's an implementation which can be copied from https://github.com/darklang/dark label Aug 2, 2021
@pm5
Copy link
Collaborator

pm5 commented Jun 16, 2022

Should this function raise exceptions if Lazy.force default raises one?

@pbiggar pbiggar added this to the 0.2.0 milestone Oct 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers help wanted Extra attention is needed in-dark-repo There's an implementation which can be copied from https://github.com/darklang/dark
Projects
None yet
Milestone
0.2.0 - Consistent
Development

No branches or pull requests
3 participants
@pm5 @pbiggar @Dean177