TestArrow

zio.test.TestArrow$
See theTestArrow companion trait
object TestArrow

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case class And[A](left: TestArrow[A, Boolean], right: TestArrow[A, Boolean]) extends TestArrow[A, Boolean]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, Boolean]
class Object
trait Matchable
class Any
case class AndThen[A, B, C](f: TestArrow[A, B], g: TestArrow[B, C]) extends TestArrow[A, C]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, C]
class Object
trait Matchable
class Any
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]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, B]
class Object
trait Matchable
class Any
case class Not[A](arrow: TestArrow[A, Boolean]) extends TestArrow[A, Boolean]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, Boolean]
class Object
trait Matchable
class Any
case class Or[A](left: TestArrow[A, Boolean], right: TestArrow[A, Boolean]) extends TestArrow[A, Boolean]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, Boolean]
class Object
trait Matchable
class Any
case class Span(start: Int, end: Int)

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
case class Suspend[A, B](f: A => TestArrow[Any, B]) extends TestArrow[A, B]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, B]
class Object
trait Matchable
class Any
case class TestArrowF[-A, +B](f: Either[Throwable, A] => TestTrace[B]) extends TestArrow[A, B]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TestArrow[A, B]
class Object
trait Matchable
class Any

Inherited types

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

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]