effect-ts-laws/src/laws/typeclass/parameterized/SemiAlternative.d.ts

effect-ts law testing using fast-check.

import { SemiAlternative as SA } from '@effect/typeclass';
import type { TypeLambda } from 'effect/HKT';
import type { BuildParameterized } from './given.js';
/**
 * Typeclass laws for `SemiAlternative`.
 * @category typeclass laws
 */
export declare const semiAlternativeLaws: BuildParameterized<SemiAlternativeTypeLambda>;
/**
 * Type lambda for the `SemiAlternative` typeclass.
 * @category type lambda
 */
export interface SemiAlternativeTypeLambda extends TypeLambda {
    readonly type: SA.SemiAlternative<this['Target'] & TypeLambda>;
}
declare module './given.js' {
    interface ParameterizedLambdas {
        SemiAlternative: SemiAlternativeTypeLambda;
    }
}
//# sourceMappingURL=SemiAlternative.d.ts.map