specs2-cats-effect/org.specs2.cats.effect/IOMatchers

IOMatchers

trait IOMatchers(using executionEnv: ExecutionEnv, ioRuntime: IORuntime) extends ValueChecks

Matchers for IO. These will run asynchronously on the (overridable) IORuntime.

trait ValueChecks
trait ValueChecksBase
trait ValueChecksLowImplicits
class Object
trait Matchable
class Any

Value members

Concrete methods

def beCanceled[A]: FutureMatcher[IO[A]]
def beError[A]: FutureMatcher[IO[A]]
def beError[A](check: ValueCheck[Throwable]): FutureMatcher[IO[A]]
def beSuccess[A]: FutureMatcher[IO[A]]
def beSuccess[A](check: ValueCheck[A]): FutureMatcher[IO[A]]

Inherited methods

def valueIsTypedValueCheck[T](expected: T)(using di: Diffable[T]): BeEqualTypedValueCheck[T]

an expected value can be used to check another value

an expected value can be used to check another value

Inherited from
ValueChecksBase

Givens

Inherited givens

given downcastBeEqualTypedValueCheck[T, S >: T]: Conversion[BeEqualTypedValueCheck[T], ValueCheck[S]]

a check of type T can be downcasted implicitly to a check of type S >: T

a check of type T can be downcasted implicitly to a check of type S >: T

Inherited from
ValueChecks
given functionIsValueCheck[T, R]: Conversion[T => R, ValueCheck[T]]

a function returning an object having an AsResult instance can check a value

a function returning an object having an AsResult instance can check a value

Inherited from
ValueChecksLowImplicits
given matcherIsValueCheck[T]: Conversion[Matcher[T], ValueCheck[T]]

a Matcher[T] can check a value

a Matcher[T] can check a value

Inherited from
ValueChecksBase
given partialfunctionIsValueCheck[T, R]: Conversion[PartialFunction[T, R], ValueCheck[T]]

a partial function returning an object having an AsResult instance can check a value

a partial function returning an object having an AsResult instance can check a value

Inherited from
ValueChecks

Extensions

Extensions

extension [T](action: IO[T])
infix
def must(m: FutureMatcher[IO[T]]): Future[Result]