effect-ts-laws
    Preparing search index...

    Type Alias TypeclassInstances<F, A, R, O, E>

    TypeclassInstances: Partial<Concrete<Kind<F, R, O, E, A>> & Parameterized<F>>

    Some subset of all typeclass instances implemented for a single data type. Can include both typeclasses for parameterized and concrete types.

    The keys in this object are the typeclass names, and the values are the instances under test, where each value is the instance of the typeclass for the corresponding key, and all are instances of their typeclasses for the single data type under test.

    Type Parameters

    • F extends TypeLambda
    • A
    • R = never
    • O = unknown
    • E = unknown