chore(deps): bump the effect group with 3 updates

[dependabot]

Bumps the effect group with 3 updates: @effect/platform, @effect/platform-node and effect.

Updates @effect/platform from 0.77.6 to 0.77.7

Release notes

Sourced from @​effect/platform's releases.

@​effect/platform@​0.77.7

Patch Changes

• #4540 840cc73 Thanks @​gcanti! - Add additionalPropertiesStrategy option to OpenApi.fromApi, closes #4531.

  This update introduces the additionalPropertiesStrategy option in OpenApi.fromApi, allowing control over how additional properties are handled in the generated OpenAPI schema.

  • When "strict" (default), additional properties are disallowed ("additionalProperties": false).
  • When "allow", additional properties are allowed ("additionalProperties": true), making APIs more flexible.

  The additionalPropertiesStrategy option has also been added to:

  • JSONSchema.fromAST
  • OpenApiJsonSchema.makeWithDefs

  Example

  import {
    HttpApi,
    HttpApiEndpoint,
    HttpApiGroup,
    OpenApi
  } from "@effect/platform"
  import { Schema } from "effect"
  const api = HttpApi.make("api").add(
  HttpApiGroup.make("group").add(
  HttpApiEndpoint.get("get", "/").addSuccess(
  Schema.Struct({ a: Schema.String })
  )
  )
  )
  const schema = OpenApi.fromApi(api, {
  additionalPropertiesStrategy: "allow"
  })
  console.log(JSON.stringify(schema, null, 2))
  /*
  {
  "openapi": "3.1.0",
  "info": {
  "title": "Api",
  "version": "0.0.1"
  },
  "paths": {
  "/": {
  "get": {
  "tags": [

... (truncated)

Changelog

Sourced from @​effect/platform's changelog.

0.77.7

Patch Changes

• #4540 840cc73 Thanks @​gcanti! - Add additionalPropertiesStrategy option to OpenApi.fromApi, closes #4531.

  This update introduces the additionalPropertiesStrategy option in OpenApi.fromApi, allowing control over how additional properties are handled in the generated OpenAPI schema.

  • When "strict" (default), additional properties are disallowed ("additionalProperties": false).
  • When "allow", additional properties are allowed ("additionalProperties": true), making APIs more flexible.

  The additionalPropertiesStrategy option has also been added to:

  • JSONSchema.fromAST
  • OpenApiJsonSchema.makeWithDefs

  Example

  import {
    HttpApi,
    HttpApiEndpoint,
    HttpApiGroup,
    OpenApi
  } from "@effect/platform"
  import { Schema } from "effect"
  const api = HttpApi.make("api").add(
  HttpApiGroup.make("group").add(
  HttpApiEndpoint.get("get", "/").addSuccess(
  Schema.Struct({ a: Schema.String })
  )
  )
  )
  const schema = OpenApi.fromApi(api, {
  additionalPropertiesStrategy: "allow"
  })
  console.log(JSON.stringify(schema, null, 2))
  /*
  {
  "openapi": "3.1.0",
  "info": {
  "title": "Api",
  "version": "0.0.1"
  },
  "paths": {
  "/": {
  "get": {

... (truncated)

Commits

• f7eae9a Version Packages (#4553)
• f910880 add additional properties options to HttpApiBuilder.middlewareOpenApi (#4559)
• 5ac4278 Update platform README to link runMain docs to website (#4557)
• 840cc73 Add additionalPropertiesStrategy option to OpenApi.fromApi, close… (#4540)
• 0d01480 Fetch http client merge headers (#4493)
• 9bf8a74 disallow excess properties for various function options (#4541)
• See full diff in compare view

Updates @effect/platform-node from 0.73.6 to 0.73.7

Release notes

Sourced from @​effect/platform-node's releases.

@​effect/platform-node@​0.73.7

Patch Changes

• #4539 99fcbf7 Thanks @​schickling! - Fixed interruption of timeout in worker shutdown

• Updated dependencies [05306d5, 840cc73, 9bf8a74, 87ba23c, f910880, 0d01480]:

  • @​effect/platform-node-shared@​0.27.7
  • @​effect/platform@​0.77.7
  • effect@3.13.7

Changelog

Sourced from @​effect/platform-node's changelog.

0.73.7

Patch Changes

• #4539 99fcbf7 Thanks @​schickling! - Fixed interruption of timeout in worker shutdown

• Updated dependencies [05306d5, 840cc73, 9bf8a74, 87ba23c, f910880, 0d01480]:

  • @​effect/platform-node-shared@​0.27.7
  • @​effect/platform@​0.77.7
  • effect@3.13.7

Commits

• f7eae9a Version Packages (#4553)
• 99fcbf7 Bug fix: change interruptible order in platform shutdown flow (#4539)
• See full diff in compare view

Updates effect from 3.13.6 to 3.13.7

Release notes

Sourced from effect's releases.

effect@3.13.7

Patch Changes

• #4540 840cc73 Thanks @​gcanti! - Add additionalPropertiesStrategy option to OpenApi.fromApi, closes #4531.

  This update introduces the additionalPropertiesStrategy option in OpenApi.fromApi, allowing control over how additional properties are handled in the generated OpenAPI schema.

  • When "strict" (default), additional properties are disallowed ("additionalProperties": false).
  • When "allow", additional properties are allowed ("additionalProperties": true), making APIs more flexible.

  The additionalPropertiesStrategy option has also been added to:

  • JSONSchema.fromAST
  • OpenApiJsonSchema.makeWithDefs

  Example

  import {
    HttpApi,
    HttpApiEndpoint,
    HttpApiGroup,
    OpenApi
  } from "@effect/platform"
  import { Schema } from "effect"
  const api = HttpApi.make("api").add(
  HttpApiGroup.make("group").add(
  HttpApiEndpoint.get("get", "/").addSuccess(
  Schema.Struct({ a: Schema.String })
  )
  )
  )
  const schema = OpenApi.fromApi(api, {
  additionalPropertiesStrategy: "allow"
  })
  console.log(JSON.stringify(schema, null, 2))
  /*
  {
  "openapi": "3.1.0",
  "info": {
  "title": "Api",
  "version": "0.0.1"
  },
  "paths": {
  "/": {
  "get": {
  "tags": [

... (truncated)

Changelog

Sourced from effect's changelog.

3.13.7

Patch Changes

• #4540 840cc73 Thanks @​gcanti! - Add additionalPropertiesStrategy option to OpenApi.fromApi, closes #4531.

  This update introduces the additionalPropertiesStrategy option in OpenApi.fromApi, allowing control over how additional properties are handled in the generated OpenAPI schema.

  • When "strict" (default), additional properties are disallowed ("additionalProperties": false).
  • When "allow", additional properties are allowed ("additionalProperties": true), making APIs more flexible.

  The additionalPropertiesStrategy option has also been added to:

  • JSONSchema.fromAST
  • OpenApiJsonSchema.makeWithDefs

  Example

  import {
    HttpApi,
    HttpApiEndpoint,
    HttpApiGroup,
    OpenApi
  } from "@effect/platform"
  import { Schema } from "effect"
  const api = HttpApi.make("api").add(
  HttpApiGroup.make("group").add(
  HttpApiEndpoint.get("get", "/").addSuccess(
  Schema.Struct({ a: Schema.String })
  )
  )
  )
  const schema = OpenApi.fromApi(api, {
  additionalPropertiesStrategy: "allow"
  })
  console.log(JSON.stringify(schema, null, 2))
  /*
  {
  "openapi": "3.1.0",
  "info": {
  "title": "Api",
  "version": "0.0.1"
  },
  "paths": {
  "/": {
  "get": {

... (truncated)

Commits

• f7eae9a Version Packages (#4553)
• 840cc73 Add additionalPropertiesStrategy option to OpenApi.fromApi, close… (#4540)
• 87ba23c ConfigProvider: fromEnv: add missing Partial modifier (#4554)
• 9bf8a74 disallow excess properties for various function options (#4541)
• See full diff 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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions