Function unfoldPropsGiven

unfoldPropsGiven<F extends TypeLambda, R = never, O = unknown, E = unknown>(
getEquivalence: LiftEquivalence<F, R, O, E>,
getArbitrary: LiftArbitrary<F, R, O, E>,
): GivenConcerns<F, MonoProps, MonoProps, MonoProps, R, O, E>
Unfold options for monomorphic typeclass law tests. This is a version of unfoldMonoGiven on the underlying type {x: number; y: string}.
Type Parameters
- F extends TypeLambda
- R = never
- O = unknown
- E = unknown
Parameters
- getEquivalence: LiftEquivalence<F, R, O, E>
- getArbitrary: LiftArbitrary<F, R, O, E>
Returns GivenConcerns<F, MonoProps, MonoProps, MonoProps, R, O, E>
- Defined in src/laws/typeclass/monomorphic/props.ts:87

Index

Properties

contravariant

contravariant: <
    Typeclass extends TypeLambda,
    F extends TypeLambda,
    R = never,
    O = unknown,
    E = unknown,
>(
    F: Kind<Typeclass, R, O, E, F>,
) => ParameterizedGiven<
    Typeclass,
    F,
    MonoProps,
    MonoProps,
    MonoProps,
    R,
    O,
    E,
>

Function unfoldPropsGiven

Type Parameters

Parameters

Returns GivenConcerns<F, MonoProps, MonoProps, MonoProps, R, O, E>

Index

Properties

Properties

contravariant

Settings

On This Page