8000 a minor correction to inference.md by xeno-by · Pull Request #171 · scala/docs.scala-lang · GitHub
[go: up one dir, main page]
Skip to content

a minor correction to inference.md #171

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

Merged
merged 1 commit into from
Jan 20, 2013
Merged

a minor correction to inference.md #171

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
a minor correction to inference.md
  • Loading branch information
@xeno-by
xeno-by committed Jan 20, 2013
commit f9fc7a8e0f9d453ec0b9d3f1ed4fd6c9e60a73e5
3 changes: 2 additions & 1 deletion overviews/macros/inference.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,8 @@ defined isomorphisms, declare implicit parameters of type `Iso`, which then get
tp : (Int, String, Boolean)
tp == (23, "foo", true)

As we can see, the isomorphism between a case class and a tuple is trivial. The compiler already generates the necessary methods,
As we can see, the isomorphism between a case class and a tuple is trivial (actually, shapeless uses Iso's to convert between case
classes and HLists, but for simplicity let's use tuples). The compiler already generates the necessary methods,
and we just have to make use of them. Unfortunately in Scala 2.10.0 it's impossible to simplify this even further - for every case class
you have manually define an implicit `Iso` instance.

Expand Down
0