New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

lib: rename `id(T)` as `identity(T)` #2705

Merged

michaellilltokiwa merged 1 commit into main from lib_id_1arg_renamed_as_identity

Mar 11, 2024

Member

fridis commented Mar 9, 2024

This enables partial application for id(T,x) to do things like l.filter id on a Sequence bool.


          lib: rename id(T) as identity(T)

cf686c7

This enables partial application for `id(T,x)` to do things like `l.filter id`
on a `Sequence bool`.

michaellilltokiwa approved these changes

View reviewed changes

michaellilltokiwa merged commit 8d465c2 into main

5 checks passed

maxteufel deleted the lib_id_1arg_renamed_as_identity branch

May 22, 2024 06:28

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