Meta

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

Value members

Inherited methods

def &&(that: TestArrow[Any, Boolean])(implicit ev: Any <:< A, ev2: B <:< Boolean): TestArrow[Any, Boolean]
Inherited from:
TestArrow
def >>>[C](that: TestArrow[B, C]): TestArrow[A, C]
Inherited from:
TestArrow
def meta(span: Option[Span], parentSpan: Option[Span], code: Option[String], location: Option[String]): TestArrow[A, B]
Inherited from:
TestArrow
Inherited from:
Product
def span(span: (Int, Int)): TestArrow[A, B]
Inherited from:
TestArrow
def unary_!(implicit ev: Any <:< A, ev2: B <:< Boolean): TestArrow[Any, Boolean]
Inherited from:
TestArrow
def withCode(code: String): TestArrow[A, B]
Inherited from:
TestArrow
def withLocation(implicit location: SourceLocation): TestArrow[A, B]
Inherited from:
TestArrow
def withParentSpan(span: (Int, Int)): TestArrow[A, B]
Inherited from:
TestArrow
def ||(that: TestArrow[Any, Boolean])(implicit ev: Any <:< A, ev2: B <:< Boolean): TestArrow[Any, Boolean]
Inherited from:
TestArrow