sealed abstract class BoolAlgebra[+A] extends Product with Serializable
A BoolAlgebra[A]
is a description of logical operations on values of type
A
.
- Self Type
- BoolAlgebra[A]
- Alphabetic
- By Inheritance
- BoolAlgebra
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- 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.
- 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.
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- 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.
- final def as[B](b: B): BoolAlgebra[B]
Returns a new result, with all values mapped to the specified constant.
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for
&&
. - def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def either[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for
||
. - final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- 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. - def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- 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.
- 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.
- 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 theB
values, using the specified functions. - final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def hashCode(): Int
- Definition Classes
- BoolAlgebra → AnyRef → Any
- final def iff[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for "<==>".
- final def implies[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for "==>".
- final def isFailure: Boolean
Determines whether the result is a failure, where values represent success and are combined using logical conjunction, disjunction, and negation.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isSuccess: Boolean
Determines whether the result is a success, where values represent success and are combined using logical conjunction, disjunction, and negation.
- final def map[B](f: (A) => B): BoolAlgebra[B]
Returns a new result, with all values mapped by the specified function.
- 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.
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def negate: BoolAlgebra[A]
Negates this result, converting all successes into failures and failures into successes.
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def productElementName(n: Int): String
- Definition Classes
- Product
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def productIterator: Iterator[Any]
- Definition Classes
- Product
- def productPrefix: String
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def unary_!: BoolAlgebra[A]
Returns a new result that is the logical negation of this result.
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- 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.