refined4s-cats
refined4s-cats
refined4s.modules.cats
syntax
syntax
refined4s.modules.cats.derivation
CatsEq
CatsEqShow
CatsShow
refined4s.modules.cats.derivation.generic
auto
auto
refined4s.modules.cats.derivation.types
all
all
refined4s-cats
/
refined4s.modules.cats.derivation.generic
/
auto
auto
trait
auto
Since:
2023-12-07
Companion:
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
object
auto
.type
Givens
Givens
Givens
given
derivedEq
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
eqB:
Eq
[
B
]):
Eq
[
A
]
given
derivedShow
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
showB:
Show
[
B
]):
Show
[
A
]