MCPcopy Create free account
hub / github.com/Effect-TS/effect / causeToArbitrary

Function causeToArbitrary

packages/effect/src/Schema.ts:10556–10566  ·  view source on GitHub ↗
(
  error: Annotations.ToArbitrary.TypeParameter<E>,
  defect: Annotations.ToArbitrary.TypeParameter<D>
)

Source from the content-addressed store, hash-verified

10554)
10555
10556function 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
10568function causeToEquivalence<E>(error: Equivalence.Equivalence<E>, defect: Equivalence.Equivalence<unknown>) {
10569 const failures = Equivalence.Array(causeReasonToEquivalence(error, defect))

Callers 2

CauseFunction · 0.85
ExitFunction · 0.85

Calls 3

causeReasonToArbitraryFunction · 0.85
withRecursionFunction · 0.85
mapMethod · 0.45

Tested by

no test coverage detected