commonMain.it.unibo.collektive.stdlib.sets.FieldedSetsExtensions.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
Show all versions of stdlib-jvm Show documentation
DSL for Aggregate Computing in Kotlin
// 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