Function covariantLaws

Test typeclass laws for Covariant.

  • covariantLaws<F, A, B, C, In1, Out2, Out1>(given, suffix?): {
        laws: Law<any>[];
        name?: string;
        sets: LawSet[];
    }

  • Type Parameters

    • F extends TypeLambda
    • A
    • B = A
    • C = A
    • In1 = never
    • Out2 = unknown
    • Out1 = unknown

    Parameters

    Returns {
        laws: Law<any>[];
        name?: string;
        sets: LawSet[];
    }

    • laws: Law<any>[]

      Possibly empty list laws that must pass for the law set to pass.

    • Optionalname?: string

      Optional name of unit under test. Runner uses this for describe() block name. If missing, no describe() block is wrapped around child laws.

    • sets: LawSet[]

Settings

Member Visibility