zio-test/zio.test/TestArrow

TestArrow

object TestArrow
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case class And(left: TestArrow[Any, Boolean], right: TestArrow[Any, Boolean]) extends TestArrow[Any, Boolean]
case class AndThen[A, B, C](f: TestArrow[A, B], g: TestArrow[B, C]) extends TestArrow[A, C]
case class Meta[-A, +B](assert: TestArrow[A, B], span: Option[Span], parentSpan: Option[Span], code: Option[String], location: Option[String]) extends TestArrow[A, B]
case class Not(assert: TestArrow[Any, Boolean]) extends TestArrow[Any, Boolean]
case class Or(left: TestArrow[Any, Boolean], right: TestArrow[Any, Boolean]) extends TestArrow[Any, Boolean]
case class Span(start: Int, end: Int)
case class Suspend[A, B](f: A => TestArrow[Any, B]) extends TestArrow[A, B]
case class TestArrowF[-A, +B](f: Either[Throwable, A] => Trace[B]) extends TestArrow[A, B]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def fromFunction[A, B](f: A => B): TestArrow[A, B]
def make[A, B](f: A => Trace[B]): TestArrow[A, B]
def makeEither[A, B](onFail: Throwable => Trace[B], onSucceed: A => Trace[B]): TestArrow[A, B]
def run[A, B](assert: TestArrow[A, B], in: Either[Throwable, A]): Trace[B]
def succeed[A](value: => A): TestArrow[Any, A]
def suspend[A, B](f: A => TestArrow[Any, B]): TestArrow[A, B]