Macros
object Macros
Value members
Concrete methods
def assertM_impl[R : Type, E : Type, A : Type](effect: Expr[ZIO[R, E, A]])(assertion: Expr[AssertionM[A]])(implicit evidence$1: Type[R], evidence$2: Type[E], evidence$3: Type[A], ctx: Quotes): Expr[ZIO[R, E, TestResult]]
def assert_impl[A](value: Expr[A])(assertion: Expr[Assertion[A]])(using ctx: Quotes, tp: Type[A]): Expr[TestResult]