root
API
Generated with
root/scas/scas.base/Boolean

Boolean

scas.base.Boolean$package.Boolean
object Boolean extends Impl, Conv[Boolean], Conv[Boolean]

Attributes

Graph
Supertypes
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Conv[Boolean]
trait Impl
trait Field[Boolean]
trait Field[Boolean]
trait Ring[Boolean]
trait Monoid[Boolean]
trait Show[Boolean]
trait Equiv[Boolean]
trait Equiv[Boolean]
trait Serializable
class Object
trait Matchable
class Any
Show all
Self type
Boolean.type

Members list

Type members

Classlikes

trait Impl extends Field[Boolean], BooleanRing[Boolean]

Attributes

Supertypes
trait Field[Boolean]
trait Field[Boolean]
trait Ring[Boolean]
trait Monoid[Boolean]
trait Show[Boolean]
trait Equiv[Boolean]
trait Equiv[Boolean]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
object Boolean

Value members

Inherited methods

def abs[U : Conversion[Boolean]](x: U): Boolean

Attributes

Inherited from:
AbelianGroup
def abs(x: Boolean): Boolean

Attributes

Inherited from:
AbelianGroup
def equiv(x: Boolean, y: Boolean): Boolean

Attributes

Inherited from:
Impl
def fenced(s: String): String

Attributes

Inherited from:
Structure
def fromInt[U : Conversion[BigInteger]](x: U): Boolean

Attributes

Inherited from:
Ring
def fromInt(n: BigInteger): Boolean

Attributes

Inherited from:
Impl
def gcd[U : Conversion[Boolean], V : Conversion[Boolean]](x: U, y: V): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
override def gcd(x: Boolean, y: Boolean): Boolean

Attributes

Definition Classes
Inherited from:
Field
def inverse[U : Conversion[Boolean]](x: U): Boolean

Attributes

Inherited from:
NotQuiteGroup
def inverse(x: Boolean): Boolean

Attributes

Inherited from:
Impl
def lcm[U : Conversion[Boolean], V : Conversion[Boolean]](x: U, y: V): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
def lcm(x: Boolean, y: Boolean): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
def random(numbits: Int)(using rnd: Random): Boolean

Attributes

Inherited from:
Structure
def toMathML: String

Attributes

Inherited from:
Impl
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Impl -> Any
Inherited from:
Impl

Inherited fields

val characteristic: BigInteger

Attributes

Inherited from:
Impl
override val one: Boolean

Attributes

Inherited from:
Impl
val self: Impl

Attributes

Inherited from:
Impl
override val zero: Boolean

Attributes

Inherited from:
Impl

Givens

Givens

override given instance: Boolean.type

Inherited givens

given bigInt2ring[U : Conversion[BigInteger]]: U => Boolean

Attributes

Inherited from:
Ring

Extensions

Inherited extensions

extension (a: Boolean)
def \[U : Conversion[BigInteger]](b: U): Boolean

Attributes

Inherited from:
Monoid
def \:[U : Conversion[BigInteger]](b: U): Boolean

Attributes

Inherited from:
Monoid
extension (a: Boolean)
override def pow(b: BigInteger): Boolean

Attributes

Definition Classes
Inherited from:
NotQuiteGroup
extension [U : Conversion[Boolean]](a: U)
def \[V : Conversion[BigInteger]](b: V): Boolean

Attributes

Inherited from:
Conv
extension [U : Conversion[Boolean], V : Conversion[BigInteger]](a: U)
def \:(b: V): Boolean

Attributes

Inherited from:
Conv
extension (x: Boolean)
override def isUnit: Boolean

Attributes

Definition Classes
Inherited from:
Field
extension (x: Boolean)
inline def &&[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
BooleanRing
inline def >>[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
BooleanRing
inline def ^[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
BooleanRing
def and(y: Boolean): Boolean

Attributes

Inherited from:
BooleanRing
def implies(y: Boolean): Boolean

Attributes

Inherited from:
BooleanRing
def or(y: Boolean): Boolean

Attributes

Inherited from:
BooleanRing
def unary_!: Boolean

Attributes

Inherited from:
BooleanRing
def xor(y: Boolean): Boolean

Attributes

Inherited from:
BooleanRing
inline def ||[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
BooleanRing
extension (x: Boolean)
inline def <>[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
Equiv
inline def ><[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
Equiv
extension (x: Boolean)
inline def /[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
NotQuiteField
extension (x: Boolean)
inline def *[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
SemiGroup
extension (x: Boolean)
inline def +[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
AbelianGroup
inline def -[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
AbelianGroup
def isZero: Boolean

Attributes

Inherited from:
AbelianGroup
def unary_-: Boolean

Attributes

Inherited from:
AbelianGroup
extension (x: Boolean)
override def divide(y: Boolean): Boolean

Attributes

Definition Classes
Inherited from:
Field
override def divideAndRemainder(y: Boolean): (Boolean, Boolean)

Attributes

Definition Classes
Inherited from:
Field
override def remainder(y: Boolean): Boolean

Attributes

Definition Classes
Inherited from:
Field
extension (x: Boolean)
def show: String

Attributes

Inherited from:
Structure
extension [U : Conversion[Boolean]](x: U)
inline def <>[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def ><[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension [U : Conversion[Boolean]](x: U)
inline def /[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension [U : Conversion[Boolean]](x: U)
inline def *[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension (x: Boolean)
inline def %[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
inline def /%[U : Conversion[Boolean]](y: U): (Boolean, Boolean)

Attributes

Inherited from:
UniqueFactorizationDomain
def factorOf(y: Boolean): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
inline def |[U : Conversion[Boolean]](y: U): Boolean

Attributes

Inherited from:
UniqueFactorizationDomain
extension (x: Boolean)
def isOne: Boolean

Attributes

Inherited from:
Monoid
extension (x: Boolean)
def add(y: Boolean): Boolean

Attributes

Inherited from:
Impl
def multiply(y: Boolean): Boolean

Attributes

Inherited from:
Impl
def subtract(y: Boolean): Boolean

Attributes

Inherited from:
Impl
extension [U : Conversion[Boolean]](x: U)
inline def &&[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def >>[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def ^[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def ||[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension [U : Conversion[Boolean]](x: U)
inline def +[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def -[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension (x: Boolean)
def signum: Int

Attributes

Inherited from:
Impl
extension (x: Boolean)
def toCode(level: Level): String

Attributes

Inherited from:
Impl
extension [U : Conversion[Boolean]](x: U)
inline def %[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
inline def /%[V : Conversion[Boolean]](y: V): (Boolean, Boolean)

Attributes

Inherited from:
Conv
inline def |[V : Conversion[Boolean]](y: V): Boolean

Attributes

Inherited from:
Conv
extension (x: Boolean)
def toMathML: String

Attributes

Inherited from:
Impl

Exports

Inherited defined exports

final val Level: Level
Exported from prettyprint

Attributes

Inherited from:
Structure
final type Level = Level
Exported from prettyprint

Attributes

Inherited from:
Structure
Generated with