Skip to content

Commit

Permalink
doc correction
Browse files Browse the repository at this point in the history
  • Loading branch information
antognini committed Jul 12, 2023
1 parent 51e98a8 commit 17da288
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,6 +134,7 @@ case class Person[A: Eq](
// Only compiles because class Email derives Eq
val person = Person("Alice", Email("[email protected]"))

// Only compiles because class Person derives Eq
person == person
```

Expand Down
1 change: 1 addition & 0 deletions examples/src/main/scala/examples/Quickstart.scala
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,7 @@ def verified_equality_for_composed_case_classes_with_type_parameters_via_type_cl
// Only compiles because class Email derives Eq
val person = Person("Alice", Email("[email protected]"))

// Only compiles because class Person derives Eq
person == person

case class SomeProduct()
Expand Down

0 comments on commit 17da288

Please sign in to comment.