boolean

scala.compiletime.ops.boolean$
object boolean

Attributes

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

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

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

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