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, 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_Codec_L_B_CF[L, A, B <: A, CF <: CodecFormat](using subType: WithType[A, B], codec: Codec[L, A, CF]): Codec[L, B, CF]
In this article