commonMain.it.unibo.collektive.stdlib.booleans.FieldedBooleans.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.booleans
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.jvm.JvmName
public object FieldedBooleans {
@JvmName("and_with_Field_of_Boolean_end_and_Boolean")
public infix fun Field.and(other: Boolean): Field =
this.mapWithId { _, receiver -> receiver.and(other) }
@JvmName("and_with_Boolean_and_Field_of_Boolean_end")
public infix fun Boolean.and(other: Field): Field =
other.mapWithId { id, receiver -> this.and(other[id]) }
@JvmName("and_with_Field_of_Boolean_end_and_Field_of_Boolean_end")
public infix fun Field.and(other: Field):
Field {
checkAligned(this, other)
return this.mapWithId { id, receiver -> receiver.and(other[id]) }
}
@JvmName("compareTo_with_Field_of_Boolean_end_and_Boolean")
public fun Field.compareTo(other: Boolean): Field =
this.mapWithId { _, receiver -> receiver.compareTo(other) }
@JvmName("compareTo_with_Boolean_and_Field_of_Boolean_end")
public fun Boolean.compareTo(other: Field): Field =
other.mapWithId { id, receiver -> this.compareTo(other[id]) }
@JvmName("compareTo_with_Field_of_Boolean_end_and_Field_of_Boolean_end")
public fun Field.compareTo(other: Field): Field {
checkAligned(this, other)
return this.mapWithId { id, receiver -> receiver.compareTo(other[id]) }
}
@JvmName("not_with_Field_of_Boolean_end")
public operator fun Field.not(): Field = map { it.not() }
@JvmName("or_with_Field_of_Boolean_end_and_Boolean")
public infix fun Field.or(other: Boolean): Field =
this.mapWithId { _, receiver -> receiver.or(other) }
@JvmName("or_with_Boolean_and_Field_of_Boolean_end")
public infix fun Boolean.or(other: Field): Field =
other.mapWithId { id, receiver -> this.or(other[id]) }
@JvmName("or_with_Field_of_Boolean_end_and_Field_of_Boolean_end")
public infix fun Field.or(other: Field): Field {
checkAligned(this, other)
return this.mapWithId { id, receiver -> receiver.or(other[id]) }
}
@JvmName("xor_with_Field_of_Boolean_end_and_Boolean")
public infix fun Field.xor(other: Boolean): Field =
this.mapWithId { _, receiver -> receiver.xor(other) }
@JvmName("xor_with_Boolean_and_Field_of_Boolean_end")
public infix fun Boolean.xor(other: Field): Field =
other.mapWithId { id, receiver -> this.xor(other[id]) }
@JvmName("xor_with_Field_of_Boolean_end_and_Field_of_Boolean_end")
public infix fun Field.xor(other: Field):
Field {
checkAligned(this, other)
return this.mapWithId { id, receiver -> receiver.xor(other[id]) }
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy