map should have a unary arity #112

New Issue

scott · 2024-12-13T16:54:19Z

scott commented

map (foo) should be equivalent to map (foo, _).

`map (foo)` should be equivalent to `map (foo, _)`.

scott added the

labels 2024-12-13 16:54:19 +00:00

scott changed title from ~~`map` should have a unitary arity~~ to `map` should have a unary arity

2024-12-13 19:22:07 +00:00

scott commented

Done!, same with filter. But it requires partial function application to work, which is not yet working. Adding #15 as a dependency.

scott added a new dependency 2024-12-13 19:24:12 +00:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Depends on

#15 Partial function application should work.

scott/rudus

Reference: twc/ludus#112

map should have a unary arity #112