refined4s-core/refined4s/Coercible

Coercible

object Coercible
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[A, B](using ev: Coercible[A, B]): Coercible[A, B]
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.AsInstanceOf")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
def instance[A, B]: Coercible[A, B]

Givens

Givens

given unsafeWrapHKT[F[*], G[*], A, B](using Coercible[G[A], G[B]]): Coercible[F[G[A]], F[G[B]]]
given unsafeWrapTC[F[*], A, B](using Coercible[A, B]): Coercible[F[A], F[B]]