final case class Not[+A](result: BoolAlgebra[A]) extends BoolAlgebra[A] with Product with Serializable
- Self Type
- Not[A]
- Alphabetic
- By Inheritance
- Not
- BoolAlgebra
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Not(result: BoolAlgebra[A])
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.
Returns a new result that is the logical conjunction of this result and the specified result.
- Definition Classes
- 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.
- Definition Classes
- BoolAlgebra
- 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.
Returns a new result that is the logical implication of this result and the specified result.
- Definition Classes
- 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.
- Definition Classes
- BoolAlgebra
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for
&&
.A named alias for
&&
.- Definition Classes
- BoolAlgebra
- 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
||
.A named alias for
||
.- Definition Classes
- BoolAlgebra
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(that: Any): Boolean
- Definition Classes
- Not → Equals → 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.- Definition Classes
- BoolAlgebra
- 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.
Returns a new result, with all values mapped to new results using the specified function.
- Definition Classes
- 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.
- Definition Classes
- 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 theB
values, using the specified functions.Folds over the result bottom up, first converting values to
B
values, and then combining theB
values, using the specified functions.- Definition Classes
- BoolAlgebra
- 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 "<==>".
A named alias for "<==>".
- Definition Classes
- BoolAlgebra
- final def implies[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]
A named alias for "==>".
A named alias for "==>".
- Definition Classes
- 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.
- Definition Classes
- BoolAlgebra
- 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.
Determines whether the result is a success, where values represent success and are combined using logical conjunction, disjunction, and negation.
- Definition Classes
- 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.
- Definition Classes
- 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.
- Definition Classes
- BoolAlgebra
- 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.
Negates this result, converting all successes into failures and failures into successes.
- Definition Classes
- BoolAlgebra
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val result: BoolAlgebra[A]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- 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.
- Definition Classes
- BoolAlgebra
- 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.
Returns a new result that is the logical disjunction of this result and the specified result.
- Definition Classes
- BoolAlgebra