boolean

object boolean
class Object
trait Matchable
class Any
boolean.type

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