AssertionM

object AssertionM
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

sealed abstract class Render

Render captures both the name of an assertion as well as the parameters to the assertion combinator for pretty-printing.

Render captures both the name of an assertion as well as the parameters to the assertion combinator for pretty-printing.

Companion:
object
object Render
Companion:
class
sealed abstract class RenderParam
Companion:
object
Companion:
class

Value members

Concrete methods

def apply[A](_render: Render, _runM: (=> A) => AssertResultM): AssertionM[A]
def assertionDirect[A](name: String)(params: RenderParam*)(run: (=> A) => AssertResultM): AssertionM[A]

Makes a new AssertionM from a pretty-printing and a function.

Makes a new AssertionM from a pretty-printing and a function.

def assertionM[R, E, A](name: String)(params: RenderParam*)(run: (=> A) => UIO[Boolean]): AssertionM[A]

Makes a new AssertionM from a pretty-printing and a function.

Makes a new AssertionM from a pretty-printing and a function.

def assertionRecM[R, E, A, B](name: String)(params: RenderParam*)(assertion: AssertionM[B])(get: (=> A) => ZIO[Any, Nothing, Option[B]], orElse: AssertionMData => AssertResultM): AssertionM[A]
def not[A](assertion: AssertionM[A]): AssertionM[A]

Makes a new assertion that negates the specified assertion.

Makes a new assertion that negates the specified assertion.