CodecTuple17Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>

extension CodecTuple17Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> on Record

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

Methods

product() extension

Codec<T17> product<T17>(
  T17 Function(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) apply,
  Record Function(T17) tupled,
)

Available on Record, provided by the CodecTuple17Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> extension

Implementation

Codec<T17> product<T17>(
  Function17<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>
  apply,
  Function1<T17, (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)>
  tupled,
) => Codec.product17(
  this.$1,
  this.$2,
  this.$3,
  this.$4,
  this.$5,
  this.$6,
  this.$7,
  this.$8,
  this.$9,
  this.$10,
  this.$11,
  this.$12,
  this.$13,
  this.$14,
  this.$15,
  this.$16,
  this.$17,
  apply,
  tupled,
);