All Downloads are FREE. Search and download functionalities are using the official Maven repository.

commonMain.it.unibo.collektive.stdlib.booleans.FieldedBooleans.kt Maven / Gradle / Ivy

There is a newer version: 11.1.3
Show newest version
// 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