Trait/Object

zio.test

BoolAlgebra

Related Docs: object BoolAlgebra | package test

Permalink

sealed trait BoolAlgebra[+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. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def canEqual(that: Any): Boolean

    Permalink
    Definition Classes
    Equals
  2. abstract def productArity: Int

    Permalink
    Definition Classes
    Product
  3. abstract def productElement(n: Int): Any

    Permalink
    Definition Classes
    Product

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def &&[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

    Permalink

    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]

    Permalink

    Returns a new result that is the logical double implication of this result and the specified result.

  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. final def ==>[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

    Permalink

    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]

    Permalink

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

  8. final def asInstanceOf[T0]: T0

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

    Permalink

    A named alias for &&.

  10. def clone(): AnyRef

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

    Permalink

    A named alias for ||.

  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. final def failures: Option[BoolAlgebra[A]]

    Permalink

    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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def flatMap[B](f: (A) ⇒ BoolAlgebra[B]): BoolAlgebra[B]

    Permalink

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

  17. final def flatMapM[R, E, B](f: (A) ⇒ ZIO[R, E, BoolAlgebra[B]]): ZIO[R, E, BoolAlgebra[B]]

    Permalink

    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

    Permalink

    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[_]

    Permalink
    Definition Classes
    AnyRef → Any
  20. final def hashCode(): Int

    Permalink
    Definition Classes
    BoolAlgebra → AnyRef → Any
  21. final def iff[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

    Permalink

    A named alias for "<==>".

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

    Permalink

    A named alias for "==>".

  23. final def isFailure: Boolean

    Permalink

    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]: Boolean

    Permalink
    Definition Classes
    Any
  25. final def isSuccess: Boolean

    Permalink

    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]

    Permalink

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

  27. final def mapM[R, E, B](f: (A) ⇒ ZIO[R, E, B]): ZIO[R, E, BoolAlgebra[B]]

    Permalink

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

  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. final def negate: BoolAlgebra[A]

    Permalink

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

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. def productIterator: Iterator[Any]

    Permalink
    Definition Classes
    Product
  33. def productPrefix: String

    Permalink
    Definition Classes
    Product
  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  35. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  36. final def unary_!: BoolAlgebra[A]

    Permalink

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

  37. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def ||[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

    Permalink

    Returns a new result that is the logical disjunction of this result and the specified result.

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped