specs2-cats-effect/org.specs2.cats.effect/SyncIOMatchers

SyncIOMatchers

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

Value members

Concrete methods

@targetName("syncIOBeError")
def beError[A]: Matcher[SyncIO[A]]
@targetName("syncIOBeError")
def beError[A](check: ValueCheck[Throwable]): Matcher[SyncIO[A]]
@targetName("syncIOBeSuccess")
def beSuccess[A]: Matcher[SyncIO[A]]
@targetName("syncIOBeSuccess")
def beSuccess[A](check: ValueCheck[A]): Matcher[SyncIO[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