CodecTuple9Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8>

extension CodecTuple9Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8> on Record

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

Methods

product() extension

Codec<T9> product<T9>(
  T9 Function(T0, T1, T2, T3, T4, T5, T6, T7, T8) apply,
  Record Function(T9) tupled,
)

Available on Record, provided by the CodecTuple9Ops<T0, T1, T2, T3, T4, T5, T6, T7, T8> extension

Implementation

Codec<T9> product<T9>(
  Function9<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> apply,
  Function1<T9, (T0, T1, T2, T3, T4, T5, T6, T7, T8)> tupled,
) => Codec.product9(
  this.$1,
  this.$2,
  this.$3,
  this.$4,
  this.$5,
  this.$6,
  this.$7,
  this.$8,
  this.$9,
  apply,
  tupled,
);