And

final case class And[+A](left: BoolAlgebra[A], right: BoolAlgebra[A]) extends BoolAlgebra[A]
class BoolAlgebra[A]
trait Product
trait Equals
class Object
trait Matchable
class Any
And[A]

Value members

Concrete methods

override def equals(that: Any): Boolean

Compares the receiver object (this) with the argument object (that) for equivalence.

Compares the receiver object (this) with the argument object (that) for equivalence.

Any implementation of this method should be an equivalence relation:

  • It is reflexive: for any instance x of type Any, x.equals(x) should return true.
  • It is symmetric: for any instances x and y of type Any, x.equals(y) should return true if and only if y.equals(x) returns true.
  • It is transitive: for any instances x, y, and z of type Any if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.

If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is usually necessary to override hashCode to ensure that objects which are "equal" (o1.equals(o2) returns true) hash to the same scala.Int. (o1.hashCode.equals(o2.hashCode)).

Value parameters:
that

the object to compare against this object for equality.

Returns:

true if the receiver object is equivalent to the argument; false otherwise.

Definition Classes
Equals -> Any

Inherited methods

final def &&[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

Returns a new result that is the logical conjunction of this result and the specified result.

Returns a new result that is the logical conjunction of this result and the specified result.

Inherited from:
BoolAlgebra
final def <==>[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

Returns a new result that is the logical double implication of this result and the specified result.

Returns a new result that is the logical double implication of this result and the specified result.

Inherited from:
BoolAlgebra
final def ==>[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

Returns a new result that is the logical implication of this result and the specified result.

Returns a new result that is the logical implication of this result and the specified result.

Inherited from:
BoolAlgebra
final def as[B](b: B): BoolAlgebra[B]

Returns a new result, with all values mapped to the specified constant.

Returns a new result, with all values mapped to the specified constant.

Inherited from:
BoolAlgebra
final def both[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for &&.

A named alias for &&.

Inherited from:
BoolAlgebra
final def either[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for ||.

A named alias for ||.

Inherited from:
BoolAlgebra
final def failures: Option[BoolAlgebra[A]]

If this result is a success returns None. If it is a failure returns a new result containing all failures that are relevant to this result being a failure.

If this result is a success returns None. If it is a failure returns a new result containing all failures that are relevant to this result being a failure.

Inherited from:
BoolAlgebra
final def flatMap[B](f: A => BoolAlgebra[B]): BoolAlgebra[B]

Returns a new result, with all values mapped to new results using the specified function.

Returns a new result, with all values mapped to new results using the specified function.

Inherited from:
BoolAlgebra
final def flatMapM[R, E, B](f: A => ZIO[R, E, BoolAlgebra[B]]): ZIO[R, E, BoolAlgebra[B]]

Returns a new result, with all values mapped to new results using the specified effectual function.

Returns a new result, with all values mapped to new results using the specified effectual function.

Inherited from:
BoolAlgebra
final def fold[B](caseValue: A => B)(caseAnd: (B, B) => B, caseOr: (B, B) => B, caseNot: B => B): B

Folds over the result bottom up, first converting values to B values, and then combining the B values, using the specified functions.

Folds over the result bottom up, first converting values to B values, and then combining the B values, using the specified functions.

Inherited from:
BoolAlgebra
final override def hashCode: Int

Calculate a hash code value for the object.

Calculate a hash code value for the object.

The default hashing algorithm is platform dependent.

Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.

Returns:

the hash code value for this object.

Definition Classes
Inherited from:
BoolAlgebra
final def iff[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for "<==>".

A named alias for "<==>".

Inherited from:
BoolAlgebra
final def implies[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for "==>".

A named alias for "==>".

Inherited from:
BoolAlgebra
final def isFailure: Boolean

Determines whether the result is a failure, where values represent success and are combined using logical conjunction, disjunction, and negation.

Determines whether the result is a failure, where values represent success and are combined using logical conjunction, disjunction, and negation.

Inherited from:
BoolAlgebra
final def isSuccess: Boolean

Determines whether the result is a success, where values represent success and are combined using logical conjunction, disjunction, and negation.

Determines whether the result is a success, where values represent success and are combined using logical conjunction, disjunction, and negation.

Inherited from:
BoolAlgebra
final def map[B](f: A => B): BoolAlgebra[B]

Returns a new result, with all values mapped by the specified function.

Returns a new result, with all values mapped by the specified function.

Inherited from:
BoolAlgebra
final def mapM[R, E, B](f: A => ZIO[R, E, B]): ZIO[R, E, BoolAlgebra[B]]

Returns a new result, with all values mapped by the specified effectual function.

Returns a new result, with all values mapped by the specified effectual function.

Inherited from:
BoolAlgebra
final def negate: BoolAlgebra[A]

Negates this result, converting all successes into failures and failures into successes.

Negates this result, converting all successes into failures and failures into successes.

Inherited from:
BoolAlgebra
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
final def unary_!: BoolAlgebra[A]

Returns a new result that is the logical negation of this result.

Returns a new result that is the logical negation of this result.

Inherited from:
BoolAlgebra
final def ||[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

Returns a new result that is the logical disjunction of this result and the specified result.

Returns a new result that is the logical disjunction of this result and the specified result.

Inherited from:
BoolAlgebra