< Back

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 Predicate.gt

object MyTest extends DefaultRunnableSpec {
  suite("clock") {
    testM("time is non-zero") {
      assertM(nanoTime, gt(0))
    }
  }
}
```
Definition Classes
zio
package mock

Definition Classes
test
Assertion
DefaultRunnableSpec
DefaultTestReporter
DefaultTestRunner
ExecutionStrategy
FailureDetails
Gen
Predicate
PredicateValue
RunnableSpec
Sample
Spec
TestAspect
TestExecutor
TestRunner
ZSpecSyntax

c

zio.test

Gen

Companion object Gen

case class Gen[-R, +A](sample: ZStream[R, Nothing, Sample[R, A]]) extends Product with Serializable

A Gen[R, A] represents a generator of values of type A, which requires an environment R. Generators may be random or deterministic.

Self Type: Gen[R, A]

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

Gen
Serializable
Serializable
Product
Equals
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Instance Constructors

new Gen(sample: ZStream[R, Nothing, Sample[R, A]])

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def <*>[R1 <: R, B](that: Gen[R1, B]): Gen[R1, (A, B)]
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def flatMap[R1 <: R, B](f: (A) ⇒ Gen[R1, B]): Gen[R1, B]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def map[B](f: (A) ⇒ B): Gen[R, B]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
val sample: ZStream[R, Nothing, Sample[R, A]]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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
@native() @throws( ... )
final def zip[R1 <: R, B](that: Gen[R1, B]): Gen[R1, (A, B)]
final def zipWith[R1 <: R, B, C](that: Gen[R1, B])(f: (A, B) ⇒ C): Gen[R1, C]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped