effect-ts-laws
    Preparing search index...

    Variable testLawConst

    testLaw: <Ts extends UnknownArgs>(law: Law<Ts>) => void & {
        only: <Ts extends UnknownArgs>(law: Law<Ts>) => void;
        runIf: (
            condition: unknown,
        ) => <Ts extends UnknownArgs>(law: Law<Ts>) => void;
        skip: <Ts extends UnknownArgs>(law: Law<Ts>) => void;
        skipIf: (
            condition: unknown,
        ) => <Ts extends UnknownArgs>(law: Law<Ts>) => void;
    } = ...

    Attempts to find a counterexample for the single given Law.

    Meant to be called from inside a Vitest test suite, perhaps inside some describe() block, but not inside a test()/it() block.

    testLaw.skip, testLaw.only, testLaw.skipIf, and testLaw.runIf all behave just like their vitest counterparts.

    See also checkLaw.

    Tuple of types for law predicate arguments.

    Law under test.

    Settings

    Member Visibility