Skip to content

Added Mirror import statement in code examples. #12552

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
May 22, 2021
Merged

Added Mirror import statement in code examples. #12552

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
8 changes: 8 additions & 0 deletions docs/docs/reference/contextual/derivation.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -142,6 +142,8 @@ signature and implementation of a `derived` method for a type class `TC[_]` are
following form,

```scala
import scala.deriving.Mirror

def derived[T](using Mirror.Of[T]): TC[T] = ...
```

Expand Down Expand Up @@ -176,6 +178,8 @@ we need to implement a method `Eq.derived` on the companion object of `Eq` that
a `Mirror[T]`. Here is a possible implementation,

```scala
import scala.deriving.Mirror

inline given derived[T](using m: Mirror.Of[T]): Eq[T] =
val elemInstances = summonAll[m.MirroredElemTypes] // (1)
inline m match // (2)
Expand Down Expand Up @@ -209,6 +213,8 @@ values are of the same subtype of the ADT (3) and then, if they are, to further
instance for the appropriate ADT subtype using the auxiliary method `check` (4).

```scala
import scala.deriving.Mirror

def eqSum[T](s: Mirror.SumOf[T], elems: List[Eq[_]]): Eq[T] =
new Eq[T]:
def eqv(x: T, y: T): Boolean =
Expand All @@ -220,6 +226,8 @@ In the product case, `eqProduct` we test the runtime values of the arguments to
on the `Eq` instances for the fields of the data type (5),

```scala
import scala.deriving.Mirror

def eqProduct[T](p: Mirror.ProductOf[T], elems: List[Eq[_]]): Eq[T] =
new Eq[T]:
def eqv(x: T, y: T): Boolean =
Expand Down