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[A](left: TestArrow[A, Boolean], right: TestArrow[A, Boolean]) extends TestArrow[A, Boolean]
case class AndThen[A, B, C](f: TestArrow[A, B], g: TestArrow[B, C]) extends TestArrow[A, C]
case class Meta[-A, +B](arrow: TestArrow[A, B], span: Option[Span], parentSpan: Option[Span], code: Option[String], location: Option[String], completeCode: Option[String], customLabel: Option[String], genFailureDetails: Option[GenFailureDetails]) extends TestArrow[A, B]
case class Not[A](arrow: TestArrow[A, Boolean]) extends TestArrow[A, Boolean]
case class Or[A](left: TestArrow[A, Boolean], right: TestArrow[A, Boolean]) extends TestArrow[A, 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] => TestTrace[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 => TestTrace[B]): TestArrow[A, B]
def makeEither[A, B](onFail: Throwable => TestTrace[B], onSucceed: A => TestTrace[B]): TestArrow[A, B]
def run[A, B](arrow: TestArrow[A, B], in: Either[Throwable, A]): TestTrace[B]
def succeed[A](value: => A): TestArrow[Any, A]
def suspend[A, B](f: A => TestArrow[Any, B]): TestArrow[A, B]