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.

import compiletime.ops.boolean._
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.

import compiletime.ops.boolean._
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.

import compiletime.ops.boolean._
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.

import compiletime.ops.boolean._
val a: true || false = true
val b: false || false = false
Source:
boolean.scala