neotype.tapir

package neotype.tapir

Members list

Givens

Givens

given given_Codec_L_B_CF[L, A, B, CF <: CodecFormat](using newtype: WithType[A, B], codec: Codec[L, A, CF]): Codec[L, B, CF]
given given_Codec_L_B_CF[L, A, B <: A, CF <: CodecFormat](using subtype: WithType[A, B], codec: Codec[L, A, CF]): Codec[L, B, CF]
given given_Pickler_B[A, B](using newtype: WithType[A, B], pickler: Pickler[A]): Pickler[B]
given given_Pickler_B[A, B <: A](using subtype: WithType[A, B], pickler: Pickler[A]): Pickler[B]
given given_Schema_B[A, B](using newtype: WithType[A, B], schema: Schema[A]): Schema[B]
given given_Schema_B[A, B <: A](using subtype: WithType[A, B], schema: Schema[A]): Schema[B]