effect-ts-laws
    Preparing search index...

    Type Alias EquivalenceToArbitrary<Eq>

    EquivalenceToArbitrary: (
        eq: Eq,
    ) => Eq extends EQ.Equivalence<infer A> ? fc.Arbitrary<A> : never

    Convert an equivalence of A to an arbitrary of A.

    Type Parameters

    • Eq extends EQ.Equivalence<never>

    Type declaration

      • (eq: Eq): Eq extends EQ.Equivalence<infer A> ? fc.Arbitrary<A> : never

      • Parameters

        Returns Eq extends EQ.Equivalence<infer A> ? fc.Arbitrary<A> : never

    Settings

    Member Visibility