boolean

object boolean
class Object
trait Matchable
class Any

Type members

Types

type ![X <: Boolean] <: Boolean

Negation of a Boolean singleton type.

Negation of a Boolean singleton type.

package scala.compiletime.ops
trait Snippet0 { self: boolean.type =>
  val notFalse: ![false] = true
  val notTrue: ![true] = false
}
Source:
boolean.scala
type &&[X <: Boolean, Y <: Boolean] <: Boolean

Conjunction of two Boolean singleton types.

Conjunction of two Boolean singleton types.

package scala.compiletime.ops
trait Snippet0 { self: boolean.type =>
  val a: true && true = true
  val b: false && true = false
}
Source:
boolean.scala
type ^[X <: Boolean, Y <: Boolean] <: Boolean

Exclusive disjunction of two Boolean singleton types.

Exclusive disjunction of two Boolean singleton types.

package scala.compiletime.ops
trait Snippet0 { self: boolean.type =>
  val a: true ^ true = false
  val b: false ^ true = true
}
Source:
boolean.scala
type ||[X <: Boolean, Y <: Boolean] <: Boolean

Disjunction of two Boolean singleton types.

Disjunction of two Boolean singleton types.

package scala.compiletime.ops
trait Snippet0 { self: boolean.type =>
  val a: true || false = true
  val b: false || false = false
}
Source:
boolean.scala