chore(deps-dev): bump effect from 3.13.1 to 3.13.6

[dependabot]

Bumps effect from 3.13.1 to 3.13.6.

Release notes

Sourced from effect's releases.

[email protected]

Patch Changes

• #4551 3154ce4 Thanks @​gcanti! - Arbitrary: make called on Schema.Class now respects property annotations, closes #4550.

  Previously, when calling Arbitrary.make on a Schema.Class, property-specific annotations (such as arbitrary) were ignored, leading to unexpected values in generated instances.

  Before

  Even though a had an arbitrary annotation, the generated values were random:

  import { Arbitrary, FastCheck, Schema } from "effect"
  class Class extends Schema.Class<Class>("Class")({
  a: Schema.NumberFromString.annotations({
  arbitrary: () => (fc) => fc.constant(1)
  })
  }) {}
  console.log(FastCheck.sample(Arbitrary.make(Class), 5))
  /*
  Example Output:
  [
  Class { a: 2.6624670822171524e-44 },
  Class { a: 3.4028177873105996e+38 },
  Class { a: 3.402820626847944e+38 },
  Class { a: 3.783505853677006e-44 },
  Class { a: 3243685 }
  ]
  */

  After

  Now, the values respect the arbitrary annotation and return the expected constant:

  import { Arbitrary, FastCheck, Schema } from "effect"
  class Class extends Schema.Class<Class>("Class")({
  a: Schema.NumberFromString.annotations({
  arbitrary: () => (fc) => fc.constant(1)
  })
  }) {}
  console.log(FastCheck.sample(Arbitrary.make(Class), 5))
  /*
  [
  Class { a: 1 },

... (truncated)

Changelog

Sourced from effect's changelog.

3.13.6

Patch Changes

• #4551 3154ce4 Thanks @​gcanti! - Arbitrary: make called on Schema.Class now respects property annotations, closes #4550.

  Previously, when calling Arbitrary.make on a Schema.Class, property-specific annotations (such as arbitrary) were ignored, leading to unexpected values in generated instances.

  Before

  Even though a had an arbitrary annotation, the generated values were random:

  import { Arbitrary, FastCheck, Schema } from "effect"
  class Class extends Schema.Class<Class>("Class")({
  a: Schema.NumberFromString.annotations({
  arbitrary: () => (fc) => fc.constant(1)
  })
  }) {}
  console.log(FastCheck.sample(Arbitrary.make(Class), 5))
  /*
  Example Output:
  [
  Class { a: 2.6624670822171524e-44 },
  Class { a: 3.4028177873105996e+38 },
  Class { a: 3.402820626847944e+38 },
  Class { a: 3.783505853677006e-44 },
  Class { a: 3243685 }
  ]
  */

  After

  Now, the values respect the arbitrary annotation and return the expected constant:

  import { Arbitrary, FastCheck, Schema } from "effect"
  class Class extends Schema.Class<Class>("Class")({
  a: Schema.NumberFromString.annotations({
  arbitrary: () => (fc) => fc.constant(1)
  })
  }) {}
  console.log(FastCheck.sample(Arbitrary.make(Class), 5))
  /*
  [

... (truncated)

Commits

• fcc9e3b Version Packages (#4552)
• 3154ce4 Arbitrary: make called on Schema.Class now respects property anno… (#4551)
• 3676392 Version Packages (#4535)
• a0acec8 Schema: add support for Transformation + Struct in extend, closes #4536 (#4...
• 6cf11c3 Preserve branded primitive types in DeepMutable transformation, clo… (#4543)
• 367bb35 Match.tag + Match.withReturnType can use literals without as const (#4530)
• 0c0d163 Version Packages (#4529)
• 17d9e89 Schema: Export MakeOptions type, closes #4532 (#4533)
• 5db2b37 Version Packages (#4474)
• 2251b15 Schema: More Accurate Return Type for parseNumber (#4524)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)