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
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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( ... ) @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: Any): 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
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.
-
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[_]
- 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
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.
-
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
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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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.
Deprecated Value Members
-
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
-
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