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 Fail effect #1409

Closed
janmasrovira opened this issue Jul 25, 2022 · 0 comments · Fixed by #1411
Closed

Add Fail effect #1409

janmasrovira opened this issue Jul 25, 2022 · 0 comments · Fixed by #1411
Assignees
@janmasrovira
Labels
refactor
Milestone
0.2.3

Comments

@janmasrovira
Copy link
Collaborator

Polisemy already has its own Fail effect effect. However, failing requires a string, which is not what we want. We should implement a similar effect with no error message and that it can be run to a Maybe
@janmasrovira janmasrovira added this to the 0.2.3 milestone Jul 25, 2022
@janmasrovira janmasrovira self-assigned this Jul 25, 2022
@janmasrovira janmasrovira linked a pull request Jul 25, 2022 that will close this issue
Add Fail effect (#1409) #1411
Merged
jonaprieto added a commit that referenced this issue Jul 25, 2022
@janmasrovira @jonaprieto
Add Fail effect (#1409) (#1411)
d70cbc6 
* Refactor in progress

* Fixing imports and missing references

* add Fail effect

* fix imports

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janmasrovira janmasrovira

Labels
refactor
Projects
None yet
Milestone
0.2.3
Development

Successfully merging a pull request may close this issue.

Add Fail effect (#1409) anoma/juvix
1 participant
@janmasrovira