Coercible

refined4s.Coercible
See theCoercible companion trait
object Coercible

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Coercible.type

Members list

Value members

Concrete methods

def apply[A, B](using ev: Coercible[A, B]): Coercible[A, B]
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]]