commonMain.it.unibo.collektive.stdlib.sets.FieldedSets.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.sets

import it.unibo.collektive.`field`.Field
import it.unibo.collektive.`field`.Field.Companion.checkAligned
import kotlin.Any
import kotlin.Boolean
import kotlin.Int
import kotlin.Suppress
import kotlin.collections.Collection
import kotlin.collections.Iterator
import kotlin.collections.Set
import kotlin.jvm.JvmName

public object FieldedSets {
  @JvmName("contains_with_Field_of_collections_Set_of_E_end_end_and_E")
  public fun  Field>.contains(element: E): Field =
      this.mapWithId { _, receiver -> receiver.contains(element) }

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

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

  @JvmName("containsAll_with_Field_of_collections_Set_of_E_end_end_and_collections_Collection_of_E_end")
  public fun  Field>.containsAll(elements: Collection):
      Field = this.mapWithId { _, receiver -> receiver.containsAll(elements) }

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

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

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

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

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