DisciplineFSuite

weaver.discipline.DisciplineFSuite
trait DisciplineFSuite[F[_]] extends RunnableSuite[F]

Attributes

Graph
Supertypes
class RunnableSuite[F]
trait EffectSuite[F]
trait Here
trait Suite[F]
trait BaseSuiteClass
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

class PartiallyAppliedCheckAll(name: TestName, parameters: Parameters => Parameters)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type Res

Inherited types

final type EffectType[A] = F[A]

Attributes

Inherited from:
EffectSuite

Value members

Abstract methods

Concrete methods

def checkAll(name: TestName, parameters: Parameters => Parameters): PartiallyAppliedCheckAll

Defines max parallelism within single rule set (maxRuleSetParallelism = 1 means each property of a law will be run sequentially)

Defines max parallelism within single rule set (maxRuleSetParallelism = 1 means each property of a law will be run sequentially)

Attributes

Defines max parallelism within whole suite (maxSuiteParallelism = 1 means each checkAll will be run sequentially)

Defines max parallelism within whole suite (maxSuiteParallelism = 1 means each checkAll will be run sequentially)

Attributes

override def plan: List[TestName]

Attributes

Definition Classes
RunnableSuite
protected def registerTest(tests: Res => F[List[F[TestOutcome]]]): Unit
override def spec(args: List[String]): Stream[F, TestOutcome]

Attributes

Definition Classes
Suite

Inherited methods

def cancel(reason: String)(implicit pos: SourceLocation): F[Nothing]

Raise an error that leads to the running test being tagged as "cancelled".

Raise an error that leads to the running test being tagged as "cancelled".

Attributes

Inherited from:
EffectSuite
inline def here: SourceLocation

Pulls source location without being affected by implicit scope.

Pulls source location without being affected by implicit scope.

Attributes

Inherited from:
Here
def ignore(reason: String)(implicit pos: SourceLocation): F[Nothing]

Raises an error that leads to the running test being tagged as "ignored"

Raises an error that leads to the running test being tagged as "ignored"

Attributes

Inherited from:
EffectSuite

Attributes

Inherited from:
RunnableSuite
override def name: String

Attributes

Definition Classes
EffectSuite -> Suite
Inherited from:
EffectSuite
final def run(args: List[String])(report: TestOutcome => F[Unit]): F[Unit]

Attributes

Inherited from:
EffectSuite

Implicits

Inherited implicits

implicit protected def effectCompat: UnsafeRun[EffectType]

Attributes

Inherited from:
RunnableSuite