Skip to content

Refinement overload added to 'every' functions#1681

Merged
gcanti merged 1 commit into
gcanti:masterfrom
werk85:every-refinement
Mar 14, 2022
Merged

Refinement overload added to 'every' functions#1681
gcanti merged 1 commit into
gcanti:masterfrom
werk85:every-refinement

Conversation

@mlegenhausen
Copy link
Copy Markdown
Collaborator

I have added Refinement overloads to the every function of ReadonlyArray, ReadonlyRecord, ReadonlySet and their mutable counterparts.

Example

import { every } from 'fp-ts/ReadonlyArray'
import { isNumber } from 'fp-ts/number'

declare const as: ReadonlyArray<string | number>
every(isNumber)(as) // ReadonlyArray<number>

Comment thread src/Array.ts
@gcanti gcanti merged commit 578785d into gcanti:master Mar 14, 2022
@gcanti
Copy link
Copy Markdown
Owner

gcanti commented Mar 14, 2022

Thanks @mlegenhausen, released.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants