commonMain.it.unibo.collektive.stdlib.strings.FieldedStrings.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.strings

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

public object FieldedStrings {
  @JvmName("compareTo_with_Field_of_String_end_and_String")
  public fun  Field.compareTo(other: String): Field =
      this.mapWithId { _, receiver -> receiver.compareTo(other) }

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

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

  @JvmName("get_with_Field_of_String_end_and_Int")
  public operator fun  Field.`get`(index: Int): Field =
      this.mapWithId { _, receiver -> receiver.`get`(index) }

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

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

  @JvmName("length_with_Field_of_String_end")
  public fun  Field.length(): Field = map { it.length }

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

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

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

  @JvmName("subSequence_with_Field_of_String_end_and_Int_and_Int")
  public fun  Field.subSequence(startIndex: Int, endIndex: Int):
      Field =
      this.mapWithId { _, receiver -> receiver.subSequence(startIndex, endIndex) }

  @JvmName("subSequence_with_String_and_Field_of_Int_end_and_Int")
  public fun  String.subSequence(startIndex: Field, endIndex: Int):
      Field =
      startIndex.mapWithId { id, receiver -> this.subSequence(startIndex[id], endIndex) }

  @JvmName("subSequence_with_Field_of_String_end_and_Field_of_Int_end_and_Int")
  public fun  Field.subSequence(startIndex: Field, endIndex: Int):
      Field {
    checkAligned(this, startIndex)
    return this.mapWithId { id, receiver -> receiver.subSequence(startIndex[id], endIndex) }
  }

  @JvmName("subSequence_with_String_and_Int_and_Field_of_Int_end")
  public fun  String.subSequence(startIndex: Int, endIndex: Field):
      Field =
      endIndex.mapWithId { id, receiver -> this.subSequence(startIndex, endIndex[id]) }

  @JvmName("subSequence_with_Field_of_String_end_and_Int_and_Field_of_Int_end")
  public fun  Field.subSequence(startIndex: Int, endIndex: Field):
      Field {
    checkAligned(this, endIndex)
    return this.mapWithId { id, receiver -> receiver.subSequence(startIndex, endIndex[id]) }
  }

  @JvmName("subSequence_with_String_and_Field_of_Int_end_and_Field_of_Int_end")
  public fun  String.subSequence(startIndex: Field, endIndex: Field):
      Field {
    checkAligned(startIndex, endIndex)
    return startIndex.mapWithId { id, receiver -> this.subSequence(startIndex[id], endIndex[id]) }
  }

  @JvmName("subSequence_with_Field_of_String_end_and_Field_of_Int_end_and_Field_of_Int_end")
  public fun  Field.subSequence(startIndex: Field,
      endIndex: Field): Field {
    checkAligned(this, startIndex, endIndex)
    return this.mapWithId { id, receiver -> receiver.subSequence(startIndex[id], endIndex[id]) }
  }
}