commonMain.it.unibo.collektive.stdlib.chars.FieldedChars.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.chars

import it.unibo.collektive.`field`.Field
import it.unibo.collektive.`field`.Field.Companion.checkAligned
import kotlin.Any
import kotlin.Char
import kotlin.Int
import kotlin.Suppress
import kotlin.jvm.JvmName
import kotlin.ranges.CharRange

public object FieldedChars {
  @JvmName("compareTo_with_Field_of_Char_end_and_Char")
  public fun  Field.compareTo(other: Char): Field =
      this.mapWithId { _, receiver -> receiver.compareTo(other) }

  @JvmName("compareTo_with_Char_and_Field_of_Char_end")
  public fun  Char.compareTo(other: Field): Field =
      other.mapWithId { id, receiver -> this.compareTo(other[id]) }

  @JvmName("compareTo_with_Field_of_Char_end_and_Field_of_Char_end")
  public fun  Field.compareTo(other: Field): Field {
    checkAligned(this, other)
    return this.mapWithId { id, receiver -> receiver.compareTo(other[id]) }
  }

  @JvmName("minus_with_Field_of_Char_end_and_Char")
  public operator fun  Field.minus(other: Char): Field =
      this.mapWithId { _, receiver -> receiver.minus(other) }

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

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

  @JvmName("minus_with_Field_of_Char_end_and_Int")
  public operator fun  Field.minus(other: Int): Field =
      this.mapWithId { _, receiver -> receiver.minus(other) }

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

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

  @JvmName("plus_with_Field_of_Char_end_and_Int")
  public operator fun  Field.plus(other: Int): Field =
      this.mapWithId { _, receiver -> receiver.plus(other) }

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

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

  @JvmName("rangeTo_with_Field_of_Char_end_and_Char")
  public operator fun  Field.rangeTo(other: Char): Field =
      this.mapWithId { _, receiver -> receiver.rangeTo(other) }

  @JvmName("rangeTo_with_Char_and_Field_of_Char_end")
  public operator fun  Char.rangeTo(other: Field): Field =
      other.mapWithId { id, receiver -> this.rangeTo(other[id]) }

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

  @JvmName("rangeUntil_with_Field_of_Char_end_and_Char")
  public operator fun  Field.rangeUntil(other: Char): Field =
      this.mapWithId { _, receiver -> receiver.rangeUntil(other) }

  @JvmName("rangeUntil_with_Char_and_Field_of_Char_end")
  public operator fun  Char.rangeUntil(other: Field): Field =
      other.mapWithId { id, receiver -> this.rangeUntil(other[id]) }

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

  @JvmName("toChar_with_Field_of_Char_end")
  public fun  Field.toChar(): Field = map { it.toChar() }
}