cats-effect-testing-scalatest-scalacheck/cats.effect.testing.scalatest.scalacheck/EffectCheckerAsserting

EffectCheckerAsserting

class EffectCheckerAsserting[F[_], A](F: Effect[F]) extends CheckerAssertingImpl[F[A]]
class CheckerAssertingImpl[F[A]]
trait CheckerAsserting[F[A]]
class Object
trait Matchable
class Any

Type members

Types

override type Result = F[Unit]

Value members

Concrete methods

override def indicateFailure(messageFun: StackDepthException => String, undecoratedMessage: => String, scalaCheckArgs: List[Any], scalaCheckLabels: List[String], optionalCause: Option[Throwable], pos: Position): Result
Definition Classes
CheckerAssertingImpl
override def indicateSuccess(message: => String): Result
Definition Classes
CheckerAssertingImpl
override def succeed(result: F[A]): (Boolean, Option[Throwable])
Definition Classes
CheckerAsserting

Inherited methods

def check(p: Prop, prms: Parameters, prettifier: Prettifier, pos: Position, argNames: Option[List[String]]): Result

Check the given Prop and Test.Parameters by calling ScalaCheck's Test.check. If the check succeeds, call indicateSuccess, else call indicateFailure.

Check the given Prop and Test.Parameters by calling ScalaCheck's Test.check. If the check succeeds, call indicateSuccess, else call indicateFailure.

Value Params
argNames

the list of argument names

p

the Prop to be used to check

pos

the Position of the caller site

prettifier

the Prettifier to be used to prettify error message

prms

the Test.Parameters to be used to check

Returns

the Result of the property check.

Inherited from
CheckerAssertingImpl