noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

821 stars 177 forks source link

feat: Add `map`, `fold`, `reduce`, `any`, and `all` for slices #5331

Closed jfecher closed 5 days ago

jfecher commented 5 days ago

Description

Problem*

Summary*

Looks like these were removed back when we split arrays from slices since they no longer shared the array implementation. I've added them back.

Additional Context

Currently requires https://github.com/noir-lang/noir/pull/5332 to work due to a panic in the type system found while adding to the slices test.

Documentation*

Check one:

[ ] No documentation needed.
[x] Documentation included in this PR.
[ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

[x] I have tested the changes locally.
[x] I have formatted the changes with Prettier and/or cargo fmt on default settings.

github-actions[bot] commented 5 days ago

🚀 Deployed on https://667b284405f2366d91b7a2a6--noir-docs.netlify.app

github-actions[bot] commented 5 days ago

FYI @noir-lang/developerrelations on Noir doc changes.