Skip to content
This repository has been archived by the owner on Apr 6, 2021. It is now read-only.

[Monads] Change Errored to PossiblyErrored #7

Open
viboes opened this issue Apr 4, 2014 · 2 comments
Open

[Monads] Change Errored to PossiblyErrored #7

viboes opened this issue Apr 4, 2014 · 2 comments
Assignees
@viboes
Labels
enhancement

Comments

@viboes
Copy link
Collaborator

viboes commented Apr 4, 2014

No description provided.

@viboes viboes changed the title quid of unexpected_traits [Monads] quid of unexpected_traits Apr 6, 2014
@viboes viboes modified the milestone: Rasperwil Apr 6, 2014
@viboes
Copy link
Collaborator Author

viboes commented Apr 13, 2014

If we decide to adopt PossiblyValued/possibly_valued_traits we could define a PossiblyUnexpected concept that requires PossibleValued and add a way to get the unexpected value.

@viboes
Copy link
Collaborator Author

viboes commented Apr 19, 2014

I suggest to change the title of this issue to Change Errored to PossiblyErrored and make it an enhancement.

@viboes viboes self-assigned this Apr 19, 2014
@viboes viboes changed the title [Monads] quid of unexpected_traits [Monads] quid of errored_traits Apr 21, 2014
@ptal ptal changed the title [Monads] quid of errored_traits [Monads] Change Errored to PossiblyErrored Apr 21, 2014
@ptal ptal added enhancement and removed question labels Apr 21, 2014
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@viboes viboes

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@viboes @ptal