commonMain.it.unibo.collektive.stdlib.charsequences.FieldedCharSequences.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.charsequences
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.Suppress
import kotlin.jvm.JvmName
public object FieldedCharSequences {
@JvmName("get_with_Field_of_CharSequence_end_and_Int")
public operator fun Field.`get`(index: Int): Field =
this.mapWithId { _, receiver -> receiver.`get`(index) }
@JvmName("get_with_CharSequence_and_Field_of_Int_end")
public operator fun CharSequence.`get`(index: Field): Field =
index.mapWithId { id, receiver -> this.`get`(index[id]) }
@JvmName("get_with_Field_of_CharSequence_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_CharSequence_end")
public fun Field.length(): Field = map { it.length }
@JvmName("subSequence_with_Field_of_CharSequence_end_and_Int_and_Int")
public fun Field.subSequence(startIndex: Int, endIndex: Int):
Field =
this.mapWithId { _, receiver -> receiver.subSequence(startIndex, endIndex) }
@JvmName("subSequence_with_CharSequence_and_Field_of_Int_end_and_Int")
public fun CharSequence.subSequence(startIndex: Field, endIndex: Int):
Field =
startIndex.mapWithId { id, receiver -> this.subSequence(startIndex[id], endIndex) }
@JvmName("subSequence_with_Field_of_CharSequence_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_CharSequence_and_Int_and_Field_of_Int_end")
public fun CharSequence.subSequence(startIndex: Int, endIndex: Field):
Field =
endIndex.mapWithId { id, receiver -> this.subSequence(startIndex, endIndex[id]) }
@JvmName("subSequence_with_Field_of_CharSequence_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_CharSequence_and_Field_of_Int_end_and_Field_of_Int_end")
public fun CharSequence.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_CharSequence_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]) }
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy