boolean

scala.compiletime.ops.boolean
object boolean

Attributes

Source
boolean.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
boolean.type

Members list

Type members

Types

type ![X <: Boolean] <: Boolean

Negation of a Boolean singleton type.

Negation of a Boolean singleton type.

import compiletime.ops.boolean.*
val notFalse: ![false] = true
val notTrue: ![true] = false

Attributes

Source
boolean.scala
type &&[X <: Boolean, Y <: Boolean] <: Boolean

Conjunction of two Boolean singleton types.

Conjunction of two Boolean singleton types.

import compiletime.ops.boolean.*
val a: true && true = true
val b: false && true = false

Attributes

Source
boolean.scala
type ^[X <: Boolean, Y <: Boolean] <: Boolean

Exclusive disjunction of two Boolean singleton types.

Exclusive disjunction of two Boolean singleton types.

import compiletime.ops.boolean.*
val a: true ^ true = false
val b: false ^ true = true

Attributes

Source
boolean.scala
type ||[X <: Boolean, Y <: Boolean] <: Boolean

Disjunction of two Boolean singleton types.

Disjunction of two Boolean singleton types.

import compiletime.ops.boolean.*
val a: true || false = true
val b: false || false = false

Attributes

Source
boolean.scala