Or

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

Value members

Concrete methods

override def equals(that: Any): Boolean
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
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
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