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

Either Algebraic Data Type #250

Closed
scabug opened this issue Nov 25, 2007 · 6 comments
Closed

Either Algebraic Data Type #250

scabug opened this issue Nov 25, 2007 · 6 comments

Comments

@scabug
Copy link

scabug commented Nov 25, 2007

I propose the Either ADT similar to Haskell's Data.Either. I also propose adding some functions to scala.Function (id and const), which are used in the implementation of Either.

Please note that the submitted patch has been thoroughly tested using ScalaCheck, but because of some slight changes to the proposal (from the original, which uses many more libraries), I have not included these tests. They can, however, be shown or even adapted to this proposal.

@scabug
Copy link
Author

scabug commented Nov 25, 2007

Imported From: https://issues.scala-lang.org/browse/SI-250?orig=1
Reporter: @tonymorris
Attachments:

  • Either.2.patch (created on Nov 25, 2007 3:45:06 AM UTC, 11874 bytes)
  • Either.patch (created on Nov 25, 2007 3:44:55 AM UTC, 11874 bytes)

@scabug
Copy link
Author

scabug commented Nov 25, 2007

@tonymorris said:
path for Either

@scabug
Copy link
Author

scabug commented Nov 25, 2007

@tonymorris said:
patch for Either

@scabug
Copy link
Author

scabug commented Nov 25, 2007

@tonymorris said:
I can't for the life of me find a way of deleting attachments, but the two already attached are equivalent but with different descriptions. The description should read 'patch for Either'.

@scabug
Copy link
Author

scabug commented Nov 26, 2007

@tonymorris said:
I screwed up. Please see Ticket #251

@scabug
Copy link
Author

scabug commented Jan 14, 2009

@odersky said:
Milestone 2.7.0 deleted

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

1 participant