Packages

  • package root
    Definition Classes
    root
  • package zio
    Definition Classes
    root
  • package test

    _ZIO Test_ is a featherweight testing library for effectful programs.

    _ZIO Test_ is a featherweight testing library for effectful programs.

    The library imagines every spec as an ordinary immutable value, providing tremendous potential for composition. Thanks to tight integration with ZIO, specs can use resources (including those requiring disposal), have well- defined linear and parallel semantics, and can benefit from a host of ZIO combinators.

    import zio.test._
import zio.clock.nanoTime
import Assertion.isGreaterThan

object MyTest extends DefaultRunnableSpec {
  def spec = suite("clock")(
    testM("time is non-zero") {
      assertM(nanoTime)(isGreaterThan(0))
    }
  )
}
    Definition Classes
    zio
  • object BoolAlgebra extends Serializable
    Definition Classes
    test
  • And
  • Not
  • Or
  • Value

final case class And[+A](left: BoolAlgebra[A], right: BoolAlgebra[A]) extends BoolAlgebra[A] with Product with Serializable

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

Instance Constructors

  1. new And(left: BoolAlgebra[A], right: BoolAlgebra[A])

Value Members

  1. final def !=(arg0: Any): Boolean
    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.

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

    Definition Classes
    BoolAlgebra
  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.

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

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

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

    Definition Classes
    BoolAlgebra
  7. 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
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. final def both[A1 >: A](that: BoolAlgebra[A1]): BoolAlgebra[A1]

    A named alias for &&.

    A named alias for &&.

    Definition Classes
    BoolAlgebra
  10. def clone(): AnyRef
    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 ||.

    A named alias for ||.

    Definition Classes
    BoolAlgebra
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(that: Any): Boolean
    Definition Classes
    And → Equals → 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.

    Definition Classes
    BoolAlgebra
  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.

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

    Definition Classes
    BoolAlgebra
  17. 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
  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.

    Folds over the result bottom up, first converting values to B values, and then combining the B values, using the specified functions.

    Definition Classes
    BoolAlgebra
  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 "<==>".

    A named alias for "<==>".

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

    A named alias for "==>".

    A named alias for "==>".

    Definition Classes
    BoolAlgebra
  23. 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
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. 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
  26. val left: BoolAlgebra[A]
  27. 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
  28. 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
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. 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
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. def productElementNames: Iterator[String]
    Definition Classes
    Product
  34. val right: BoolAlgebra[A]
  35. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  36. 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
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  40. 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

Inherited from BoolAlgebra[A]

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped