effect-ts-laws
Version:
effect-ts law testing using fast-check.
17 lines • 563 B
TypeScript
/** Typeclass law tests for the `Cause` datatype. */
import { Monad as MD } from '@effect/typeclass';
import { Cause as CA } from 'effect';
import type { LiftEquivalence } from '../../law.js';
import type { TypeLambda } from 'effect/HKT';
export interface CauseTypeLambda extends TypeLambda {
readonly type: CA.Cause<this['Target']>;
}
/**
* @category instances
*/
export declare const Monad: MD.Monad<CauseTypeLambda>;
/**
* @category instances
*/
export declare const getEquivalence: LiftEquivalence<CauseTypeLambda>;
//# sourceMappingURL=Cause.d.ts.map