BoolRingFromBool

algebra.lattice.BoolRingFromBool
class BoolRingFromBool[A](orig: Bool[A]) extends BoolRngFromGenBool[A], BoolRing[A]

Attributes

Source
Bool.scala
Graph
Supertypes
trait BoolRing[A]
trait CommutativeRing[A]
trait CommutativeRig[A]
trait Ring[A]
trait Rig[A]
trait BoolRng[A]
trait CommutativeRng[A]
trait Rng[A]
trait AdditiveGroup[A]
trait Semiring[A]
trait AdditiveMonoid[A]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def one: A

Attributes

Source
Bool.scala

Inherited methods

def fromBigInt(n: BigInt): A

Convert the given BigInt to an instance of A.

Convert the given BigInt to an instance of A.

This is equivalent to n repeated summations of this ring's one, or -n summations of -one if n is negative.

Most type class instances should consider overriding this method for performance reasons.

Attributes

Inherited from:
Ring
Source
Ring.scala
def fromInt(n: Int): A

Convert the given integer to an instance of A.

Convert the given integer to an instance of A.

Defined to be equivalent to sumN(one, n).

That is, n repeated summations of this ring's one, or -n summations of -one if n is negative.

Most type class instances should consider overriding this method for performance reasons.

Attributes

Inherited from:
Ring
Source
Ring.scala
def isOne(a: A)(implicit ev: Eq[A]): Boolean

Tests if a is one.

Tests if a is one.

Attributes

Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
def isZero(a: A)(implicit ev: Eq[A]): Boolean

Tests if a is zero.

Tests if a is zero.

Attributes

Inherited from:
AdditiveMonoid
Source
Additive.scala
def minus(x: A, y: A): A

Attributes

Inherited from:
AdditiveGroup
Source
Additive.scala
final override def negate(x: A): A

Attributes

Definition Classes
Inherited from:
BoolRng
Source
BoolRng.scala
def plus(x: A, y: A): A

Attributes

Inherited from:
BoolRngFromGenBool
Source
GenBool.scala
override def pow(a: A, n: Int): A

Attributes

Definition Classes
Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
def product(as: IterableOnce[A]): A

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Attributes

Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
def sum(as: IterableOnce[A]): A

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Attributes

Inherited from:
AdditiveMonoid
Source
Additive.scala
override def sumN(a: A, n: Int): A

Attributes

Definition Classes
Inherited from:
AdditiveGroup
Source
Additive.scala
def times(x: A, y: A): A

Attributes

Inherited from:
BoolRngFromGenBool
Source
GenBool.scala
override def tryProduct(as: IterableOnce[A]): Option[A]

Given a sequence of as, combine them and return the total.

Given a sequence of as, combine them and return the total.

If the sequence is empty, returns None. Otherwise, returns Some(total).

Attributes

Definition Classes
Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
override def trySum(as: IterableOnce[A]): Option[A]

Given a sequence of as, combine them and return the total.

Given a sequence of as, combine them and return the total.

If the sequence is empty, returns None. Otherwise, returns Some(total).

Attributes

Definition Classes
Inherited from:
AdditiveMonoid
Source
Additive.scala
def zero: A

Attributes

Inherited from:
BoolRngFromGenBool
Source
GenBool.scala