refined4s-cats
refined4s-cats
refined4s.modules.cats
syntax
syntax
refined4s.modules.cats.derivation
CatsEq
CatsEqShow
CatsShow
instances
instances
refined4s-cats
/
refined4s.modules.cats.derivation
/
instances
instances
object
instances
extends
instances
Companion:
class
Graph
Supertypes
Self type
trait
instances
class
Object
trait
Matchable
class
Any
instances
.type
Value members
Givens
Value members
Inherited methods
inline
def
contraCoercible
[
F
[
*
],
A
,
B
](
fb:
F
[
B
])(
using
contravariant:
Contravariant
[
F
],
coercible:
Coercible
[
A
,
B
]):
F
[
A
]
Inherited from:
instances
Givens
Inherited givens
given
eqDerived
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
eqB:
Eq
[
B
]):
Eq
[
A
]
Inherited from:
instances
given
showDerived
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
showB:
Show
[
B
]):
Show
[
A
]
Inherited from:
instances