Skip to content

Commit b9eee34

Browse files
committed
Future-proof auto implementation
For context see scala/scala3#18130. We put fewer constraints to program elaboration by making some methods `transparent`.
1 parent e313682 commit b9eee34

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

core/src/main/scala-3/cats/derived/package.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -104,13 +104,13 @@ object auto:
104104
inline given [F[_]](using NotGiven[Foldable[F]]): Foldable[F] = DerivedFoldable[F]
105105

106106
object reducible:
107-
inline given [F[_]](using NotGiven[Reducible[F]]): Reducible[F] = DerivedReducible[F]
107+
transparent inline given [F[_]](using NotGiven[Reducible[F]]): Reducible[F] = DerivedReducible[F]
108108

109109
object traverse:
110110
inline given [F[_]](using NotGiven[Traverse[F]]): Traverse[F] = DerivedTraverse[F]
111111

112112
object nonEmptyTraverse:
113-
inline given [F[_]](using NotGiven[NonEmptyTraverse[F]]): NonEmptyTraverse[F] = DerivedNonEmptyTraverse[F]
113+
transparent inline given [F[_]](using NotGiven[NonEmptyTraverse[F]]): NonEmptyTraverse[F] = DerivedNonEmptyTraverse[F]
114114

115115
object semigroupK:
116116
inline given [F[_]](using NotGiven[SemigroupK[F]]): SemigroupK[F] = DerivedSemigroupK[F]
@@ -128,4 +128,4 @@ object auto:
128128
inline given [A](using NotGiven[PartialOrder[A]]): PartialOrder[A] = DerivedPartialOrder[A]
129129

130130
object showPretty:
131-
inline given [A](using NotGiven[Show[A]]): ShowPretty[A] = DerivedShowPretty[A]
131+
transparent inline given [A](using NotGiven[Show[A]]): ShowPretty[A] = DerivedShowPretty[A]

0 commit comments

Comments
 (0)