Add Duration.divide

[thewilkybarkid]

Type

• Refactor
• Feature
• Bug Fix
• Optimization
• Documentation Update

Description

Adds divide to the Duration module (it already has times).

Unlike Number.divide and BigInt.divide, this doesn't have safe/unsafe variants.

Related

• Related Issue #
• Closes #

[changeset-bot]

🦋 Changeset detected

Latest commit: 5fc0797

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 16 packages

Name	Type
effect	Patch
@effect/cli	Patch
@effect/experimental	Patch
@effect/opentelemetry	Patch
@effect/platform-browser	Patch
@effect/platform-bun	Patch
@effect/platform-node-shared	Patch
@effect/platform-node	Patch
@effect/platform	Patch
@effect/printer-ansi	Patch
@effect/printer	Patch
@effect/rpc-http	Patch
@effect/rpc	Patch
@effect/schema	Patch
@effect/typeclass	Patch
@effect/vitest	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[thewilkybarkid]

Looking to replace https://github.com/PREreview/coar-notify/blob/958faa16e9bf2fa4aee536c1d66d7ba4d5c36c89/src/BullMq.ts#L135-L136.

Could be achieved with

Duration.times(value, 0.5)

but a division API would be more straightforward.

[jessekelly881]

A Duration.map might be useful as well.

Duration.map("30 seconds", {
  onMillis: (val: number) => val / 2,
  onNanos: (val: bigint) => val / 2n
})

[tim-smart]

Hmm I think we might need a safe variant, and call this unsafeDivide.

[thewilkybarkid]

@tim-smart I've had a stab at that. I've followed the Number/BigInt modules in making it different between what returns a None and what throws.

[tim-smart]

You can simplify this by wrapping unsafeDivide with a try catch.

[thewilkybarkid]

The results are a bit different (#2494 (comment)).