discipline/weaver.discipline/DisciplineFSuite

DisciplineFSuite

trait DisciplineFSuite[F[_]] extends RunnableSuite[F]
class RunnableSuite[F]
trait EffectSuite[F]
trait Here
trait Suite[F]
trait BaseSuiteClass
class Object
trait Matchable
class Any

Type members

Classlikes

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

Types

type Res

Inherited types

final type EffectType[A] = F[A]
Inherited from:
EffectSuite

Value members

Abstract methods

Concrete methods

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

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)

def maxSuiteParallelism: Int

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)

override def plan: List[TestName]
Definition Classes
RunnableSuite
protected def registerTest(tests: Res => F[List[F[TestOutcome]]]): Unit
override def spec(args: List[String]): Stream[F, TestOutcome]
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".

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.

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"

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

Implicits

Inherited implicits

implicit protected def effectCompat: UnsafeRun[EffectType]
Inherited from:
RunnableSuite