commonMain.it.unibo.collektive.stdlib.pairs.FieldedPairs.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of stdlib-jvm Show documentation

DSL for Aggregate Computing in Kotlin

There is a newer version: 11.1.3

// This file is auto-generated by the Collektive code generator. Do not edit it manually.
@file:Suppress("all","ktlint")

package it.unibo.collektive.stdlib.pairs

import it.unibo.collektive.`field`.Field
import it.unibo.collektive.`field`.Field.Companion.checkAligned
import kotlin.Any
import kotlin.Pair
import kotlin.Suppress
import kotlin.jvm.JvmName

public object FieldedPairs {
  @JvmName("component1_with_Field_of_Pair_of_A_and_B_end_end")
  public operator fun  Field>.component1(): Field =
      map { it.component1() }

  @JvmName("component2_with_Field_of_Pair_of_A_and_B_end_end")
  public operator fun  Field>.component2(): Field =
      map { it.component2() }

  @JvmName("copy_with_Field_of_Pair_of_A_and_B_end_end_and_A_and_B")
  public fun  Field>.copy(first: A, second: B): Field>
      = this.mapWithId { _, receiver -> receiver.copy(first, second) }

  @JvmName("copy_with_Pair_of_A_and_B_end_and_Field_of_A_end_and_B")
  public fun  Pair.copy(first: Field, second: B): Field>
      = first.mapWithId { id, receiver -> this.copy(first[id], second) }

  @JvmName("copy_with_Field_of_Pair_of_A_and_B_end_end_and_Field_of_A_end_and_B")
  public fun  Field>.copy(first: Field, second: B):
      Field> {
    checkAligned(this, first)
    return this.mapWithId { id, receiver -> receiver.copy(first[id], second) }
  }

  @JvmName("copy_with_Pair_of_A_and_B_end_and_A_and_Field_of_B_end")
  public fun  Pair.copy(first: A, second: Field): Field>
      = second.mapWithId { id, receiver -> this.copy(first, second[id]) }

  @JvmName("copy_with_Field_of_Pair_of_A_and_B_end_end_and_A_and_Field_of_B_end")
  public fun  Field>.copy(first: A, second: Field):
      Field> {
    checkAligned(this, second)
    return this.mapWithId { id, receiver -> receiver.copy(first, second[id]) }
  }

  @JvmName("copy_with_Pair_of_A_and_B_end_and_Field_of_A_end_and_Field_of_B_end")
  public fun  Pair.copy(first: Field, second: Field):
      Field> {
    checkAligned(first, second)
    return first.mapWithId { id, receiver -> this.copy(first[id], second[id]) }
  }

  @JvmName("copy_with_Field_of_Pair_of_A_and_B_end_end_and_Field_of_A_end_and_Field_of_B_end")
  public fun  Field>.copy(first: Field, second: Field):
      Field> {
    checkAligned(this, first, second)
    return this.mapWithId { id, receiver -> receiver.copy(first[id], second[id]) }
  }

  @JvmName("first_with_Field_of_Pair_of_A_and_B_end_end")
  public fun  Field>.first(): Field = map { it.first }

  @JvmName("second_with_Field_of_Pair_of_A_and_B_end_end")
  public fun  Field>.second(): Field = map { it.second }
}