All Downloads are FREE. Search and download functionalities are using the official Maven repository.

commonMain.it.unibo.collektive.stdlib.sets.FieldedSetsExtensions.kt Maven / Gradle / Ivy

There is a newer version: 11.1.3
Show newest version
// This file is auto-generated by the Collektive code generator. Do not edit it manually.
@file:Suppress("all","ktlint")

package it.unibo.collektive.stdlib.sets

import it.unibo.collektive.`field`.Field
import it.unibo.collektive.`field`.Field.Companion.checkAligned
import kotlin.Any
import kotlin.Suppress
import kotlin.collections.Iterable
import kotlin.collections.Set
import kotlin.jvm.JvmName
import kotlin.sequences.Sequence

public object FieldedSetsExtensions {
  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_T")
  public operator fun  Field>.minus(element: T): Field> =
      this.mapWithId { _, receiver -> receiver.minus(element) }

  @JvmName("minus_with_collections_Set_of_T_end_and_Field_of_T_end")
  public operator fun  Set.minus(element: Field): Field> =
      element.mapWithId { id, receiver -> this.minus(element[id]) }

  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_T_end")
  public operator fun  Field>.minus(element: Field):
      Field> {
    checkAligned(this, element)
    return this.mapWithId { id, receiver -> receiver.minus(element[id]) }
  }

  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_collections_Iterable_of_T_end")
  public operator fun  Field>.minus(elements: Iterable):
      Field> = this.mapWithId { _, receiver -> receiver.minus(elements) }

  @JvmName("minus_with_collections_Set_of_T_end_and_Field_of_collections_Iterable_of_T_end_end")
  public operator fun  Set.minus(elements: Field>):
      Field> = elements.mapWithId { id, receiver -> this.minus(elements[id]) }

  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_collections_Iterable_of_T_end_end")
  public operator fun  Field>.minus(elements: Field>):
      Field> {
    checkAligned(this, elements)
    return this.mapWithId { id, receiver -> receiver.minus(elements[id]) }
  }

  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_sequences_Sequence_of_T_end")
  public operator fun  Field>.minus(elements: Sequence):
      Field> = this.mapWithId { _, receiver -> receiver.minus(elements) }

  @JvmName("minus_with_collections_Set_of_T_end_and_Field_of_sequences_Sequence_of_T_end_end")
  public operator fun  Set.minus(elements: Field>):
      Field> = elements.mapWithId { id, receiver -> this.minus(elements[id]) }

  @JvmName("minus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_sequences_Sequence_of_T_end_end")
  public operator fun  Field>.minus(elements: Field>):
      Field> {
    checkAligned(this, elements)
    return this.mapWithId { id, receiver -> receiver.minus(elements[id]) }
  }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_T")
  public operator fun  Field>.plus(element: T): Field> =
      this.mapWithId { _, receiver -> receiver.plus(element) }

  @JvmName("plus_with_collections_Set_of_T_end_and_Field_of_T_end")
  public operator fun  Set.plus(element: Field): Field> =
      element.mapWithId { id, receiver -> this.plus(element[id]) }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_T_end")
  public operator fun  Field>.plus(element: Field):
      Field> {
    checkAligned(this, element)
    return this.mapWithId { id, receiver -> receiver.plus(element[id]) }
  }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_collections_Iterable_of_T_end")
  public operator fun  Field>.plus(elements: Iterable): Field>
      = this.mapWithId { _, receiver -> receiver.plus(elements) }

  @JvmName("plus_with_collections_Set_of_T_end_and_Field_of_collections_Iterable_of_T_end_end")
  public operator fun  Set.plus(elements: Field>): Field>
      = elements.mapWithId { id, receiver -> this.plus(elements[id]) }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_collections_Iterable_of_T_end_end")
  public operator fun  Field>.plus(elements: Field>):
      Field> {
    checkAligned(this, elements)
    return this.mapWithId { id, receiver -> receiver.plus(elements[id]) }
  }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_sequences_Sequence_of_T_end")
  public operator fun  Field>.plus(elements: Sequence): Field>
      = this.mapWithId { _, receiver -> receiver.plus(elements) }

  @JvmName("plus_with_collections_Set_of_T_end_and_Field_of_sequences_Sequence_of_T_end_end")
  public operator fun  Set.plus(elements: Field>): Field>
      = elements.mapWithId { id, receiver -> this.plus(elements[id]) }

  @JvmName("plus_with_Field_of_collections_Set_of_T_end_end_and_Field_of_sequences_Sequence_of_T_end_end")
  public operator fun  Field>.plus(elements: Field>):
      Field> {
    checkAligned(this, elements)
    return this.mapWithId { id, receiver -> receiver.plus(elements[id]) }
  }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy