CodecTuple12Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>

extensionCodecTuple12Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>onRecord

Provides a product operation on a 12-tuple of Codecs.

Methods

product() extension

Codec<T12>product<T12>(T12Function(T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,)apply,RecordFunction(T12)tupled,);

Available on Record, provided by the CodecTuple12Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> extension

Implementation

Codec<T12> product<T12>(
  Function12<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> apply,
  Function1<T12, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> tupled,
) => Codec.product12(
  this.$1,
  this.$2,
  this.$3,
  this.$4,
  this.$5,
  this.$6,
  this.$7,
  this.$8,
  this.$9,
  this.$10,
  this.$11,
  this.$12,
  apply,
  tupled,
);