effect-ts-laws
    Preparing search index...

    Function testParameterizedTypeclassLaws

    • Test parameterized type typeclass laws for the given instances of some datatype.

      Type Parameters

      • F extends TypeLambda

        Type lambda of the datatype under test.

      • A

        Type lambda of first underlying type.

      • B = A

        Type lambda of second underlying type.

      • C = A

        Type lambda of third underlying type.

      Returns <Ins extends Partial<Parameterized<F>>, R = never, O = unknown, E = unknown>(
          instances: Ins,
          given: GivenConcerns<F, A, B, C, R, O, E>,
          parameters?: ParameterOverrides,
      ) => void

        • <Ins extends Partial<Parameterized<F>>, R = never, O = unknown, E = unknown>(
              instances: Ins,
              given: GivenConcerns<F, A, B, C, R, O, E>,
              parameters?: ParameterOverrides,
          ): void

        • Type Parameters

          Parameters

          • instances: Ins

            Instances to test. Key is typeclass name and value is the instance under test. For example, { Monad: Option.Monad } will run the monad typeclass laws on Option.

          • given: GivenConcerns<F, A, B, C, R, O, E>

            Parameterized typeclass test options.

          • Optionalparameters: ParameterOverrides

            Optional runtime fast-check parameters.

          Returns void

    Settings

    Member Visibility