effect-ts-laws
    Preparing search index...

    Type Alias UnderlyingEquivalence<Fa>

    UnderlyingEquivalence: Fa extends EQ.Equivalence<infer A> ? A : never

    Extract the underlying type of the given equivalence.

    Type Parameters

    • Fa extends EQ.Equivalence<never>