( error: Annotations.ToArbitrary.TypeParameter<E>, defect: Annotations.ToArbitrary.TypeParameter<D> )
| 10554 | ) |
| 10555 | |
| 10556 | function causeToArbitrary<E, D>( |
| 10557 | error: Annotations.ToArbitrary.TypeParameter<E>, |
| 10558 | defect: Annotations.ToArbitrary.TypeParameter<D> |
| 10559 | ) { |
| 10560 | return (fc: typeof FastCheck, ctx: Annotations.ToArbitrary.Context) => { |
| 10561 | const reason = causeReasonToArbitrary(error, defect)(fc, ctx) |
| 10562 | const terminal = fc.constant(Cause_.empty) |
| 10563 | const arbitrary = fc.array(reason.arbitrary).map(Cause_.fromReasons) |
| 10564 | return withRecursion(fc, ctx, terminal, arbitrary) |
| 10565 | } |
| 10566 | } |
| 10567 | |
| 10568 | function causeToEquivalence<E>(error: Equivalence.Equivalence<E>, defect: Equivalence.Equivalence<unknown>) { |
| 10569 | const failures = Equivalence.Array(causeReasonToEquivalence(error, defect)) |
no test coverage detected