effect-ts-laws
    Preparing search index...

    Function buildParameterizedTypeclassLaws

    • Build 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, never, unknown, unknown>>,
          R = never,
          O = unknown,
          E = unknown,
      >(
          instances: Ins,
          given: GivenConcerns<F, A, B, C, R, O, E>,
      ) => LawSet[]

        • <
              Ins extends Partial<Parameterized<F, never, unknown, unknown>>,
              R = never,
              O = unknown,
              E = unknown,
          >(
              instances: Ins,
              given: GivenConcerns<F, A, B, C, R, O, E>,
          ): LawSet[]

        • Type Parameters

          • Ins extends Partial<Parameterized<F, never, unknown, unknown>>
          • R = never
          • O = unknown
          • E = unknown

          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.

          Returns LawSet[]

    Settings

    Member Visibility