Codec12Ops<A, B, C, D, E, F, G, H, I, J, K, L>

extension Codec12Ops<A, B, C, D, E, F, G, H, I, J, K, L> on Record

Provides a product operation on a 12-tuple of (String, Codec) pairs.

Methods

product() extension

Codec<M> product<M>(
  M Function(A, B, C, D, E, F, G, H, I, J, K, L) apply,
  Record Function(M) tupled,
)

Available on Record, provided by the Codec12Ops<A, B, C, D, E, F, G, H, I, J, K, L> extension

Implementation

Codec<M> product<M>(
  Function12<A, B, C, D, E, F, G, H, I, J, K, L, M> apply,
  Function1<M, (A, B, C, D, E, F, G, H, I, J, K, L)> tupled,
) => (
  $1.kv,
  $2.kv,
  $3.kv,
  $4.kv,
  $5.kv,
  $6.kv,
  $7.kv,
  $8.kv,
  $9.kv,
  $10.kv,
  $11.kv,
  $12.kv,
).product(apply, tupled);