commonMain.it.unibo.collektive.stdlib.maps.FieldedMaps.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.maps

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.Map
import kotlin.collections.Set
import kotlin.jvm.JvmName

public object FieldedMaps {
  @JvmName("containsKey_with_Field_of_collections_Map_of_K_and_V_end_end_and_K")
  public fun  Field>.containsKey(key: K): Field =
      this.mapWithId { _, receiver -> receiver.containsKey(key) }

  @JvmName("containsKey_with_collections_Map_of_K_and_V_end_and_Field_of_K_end")
  public fun  Map.containsKey(key: Field): Field =
      key.mapWithId { id, receiver -> this.containsKey(key[id]) }

  @JvmName("containsKey_with_Field_of_collections_Map_of_K_and_V_end_end_and_Field_of_K_end")
  public fun  Field>.containsKey(key: Field):
      Field {
    checkAligned(this, key)
    return this.mapWithId { id, receiver -> receiver.containsKey(key[id]) }
  }

  @JvmName("containsValue_with_Field_of_collections_Map_of_K_and_V_end_end_and_V")
  public fun  Field>.containsValue(`value`: V): Field =
      this.mapWithId { _, receiver -> receiver.containsValue(value) }

  @JvmName("containsValue_with_collections_Map_of_K_and_V_end_and_Field_of_V_end")
  public fun  Map.containsValue(`value`: Field): Field =
      value.mapWithId { id, receiver -> this.containsValue(value[id]) }

  @JvmName("containsValue_with_Field_of_collections_Map_of_K_and_V_end_end_and_Field_of_V_end")
  public fun  Field>.containsValue(`value`: Field):
      Field {
    checkAligned(this, value)
    return this.mapWithId { id, receiver -> receiver.containsValue(value[id]) }
  }

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

  @JvmName("get_with_Field_of_collections_Map_of_K_and_V_end_end_and_K")
  public operator fun  Field>.`get`(key: K): Field =
      this.mapWithId { _, receiver -> receiver.`get`(key) }

  @JvmName("get_with_collections_Map_of_K_and_V_end_and_Field_of_K_end")
  public operator fun  Map.`get`(key: Field): Field =
      key.mapWithId { id, receiver -> this.`get`(key[id]) }

  @JvmName("get_with_Field_of_collections_Map_of_K_and_V_end_end_and_Field_of_K_end")
  public operator fun  Field>.`get`(key: Field):
      Field {
    checkAligned(this, key)
    return this.mapWithId { id, receiver -> receiver.`get`(key[id]) }
  }

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

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

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

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