CodecTuple7Ops<T0, T1, T2, T3, T4, T5, T6>

extension CodecTuple7Ops<T0, T1, T2, T3, T4, T5, T6> on Record

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

Methods

product() extension

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

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

Implementation

Codec<T7> product<T7>(
  Function7<T0, T1, T2, T3, T4, T5, T6, T7> apply,
  Function1<T7, (T0, T1, T2, T3, T4, T5, T6)> tupled,
) => Codec.product7(this.$1, this.$2, this.$3, this.$4, this.$5, this.$6, this.$7, apply, tupled);