c

# BoolAlgebra

### Companion object BoolAlgebra

#### sealed abstract classBoolAlgebra[+A] extends Product with Serializable

A `BoolAlgebra[A]` is a description of logical operations on values of type `A`.

Self Type
BoolAlgebra[A]
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. BoolAlgebra
2. Serializable
3. Product
4. Equals
5. AnyRef
6. Any
1. Hide All
2. Show All
Visibility
1. Public
2. Protected

### Abstract Value Members

1. abstract def canEqual(that: Any)
Definition Classes
Equals
2. abstract def productArity: Int
Definition Classes
Product
3. abstract def productElement(n: Int): Any
Definition Classes
Product

### Concrete Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##: Int
Definition Classes
AnyRef → Any
3. 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.

4. 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.

5. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
6. 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.

7. final def as[B](b: B): BoolAlgebra[B]

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

8. final def asInstanceOf[T0]: T0
Definition Classes
Any
9. final def both[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for `&&`.

10. def clone()
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
11. final def either[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for `||`.

12. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
13. def equals(arg0: AnyRef)
Definition Classes
AnyRef → Any
14. final def failures: Option[BoolAlgebra[A]]

If this result is a success returns `None`.

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.

15. def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
16. 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.

17. final def flatMapZIO[R, E, B](f: (A) => ZIO[R, E, BoolAlgebra[B]])(implicit trace: ZTraceElement): ZIO[R, E, BoolAlgebra[B]]

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

18. 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.

19. final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native()
20. final def hashCode(): Int
Definition Classes
BoolAlgebra → AnyRef → Any
21. final def iff[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for "<==>".

22. final def implies[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

A named alias for "==>".

23. final def isFailure

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

24. final def isInstanceOf[T0]
Definition Classes
Any
25. final def isSuccess

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

26. final def map[B](f: (A) => B): BoolAlgebra[B]

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

27. final def mapZIO[R, E, B](f: (A) => ZIO[R, E, B])(implicit trace: ZTraceElement): ZIO[R, E, BoolAlgebra[B]]

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

28. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
29. final def negate: BoolAlgebra[A]

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

30. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
31. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
32. def productElementName(n: Int): String
Definition Classes
Product
33. def productElementNames: Iterator[String]
Definition Classes
Product
34. def productIterator: Iterator[Any]
Definition Classes
Product
35. def productPrefix: String
Definition Classes
Product
36. final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
37. def toString()
Definition Classes
AnyRef → Any
38. final def unary_!: BoolAlgebra[A]

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

39. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
40. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
41. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
42. 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.

### Deprecated Value Members

1. final def flatMapM[R, E, B](f: (A) => ZIO[R, E, BoolAlgebra[B]])(implicit trace: ZTraceElement): 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.

Annotations
@deprecated
Deprecated

(Since version 2.0.0) use flatMapZIO

2. final def mapM[R, E, B](f: (A) => ZIO[R, E, B])(implicit trace: ZTraceElement): 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.

Annotations
@deprecated
Deprecated

(Since version 2.0.0) use mapZIO