Skip to content

Add Data.Functor and re-export map from Prelude - #142

Merged
biuld merged 1 commit into
masterfrom
stdlib/data-functor
Oct 4, 2026
Merged

biuld merged 1 commit into
masterfrom
stdlib/data-functor

Conversation

@biuld

@biuld biuld commented Oct 4, 2026

Copy link
Copy Markdown
Owner

Data.Functor declares class Functor, map, and <$>. Prelude re-exports them and gives Effect the instance whose body is the previous effect-only map. Array, Maybe, and Either have instances.

One annotations scoreboard on 2026-10-04, Wasmtime 49.0.2:

Board Before After
passing resolution 270/413 276/413
L3 35/48 36/48
L5 53/80 53/79
L6/M7 124/413 125/413

All 125 runtime files exit 0. The added file is passing/3549.purs. Functor and <$> are no longer first blockers. 67 passing files are still first-blocked on a Prelude name this issue owns. L1, L2 failing, and L4 are unchanged.

Refs #94

Effect map is the Functor instance, with the same body as the old
effect-only function. Array, Maybe, and Either have instances. The
2026-10-04 annotations boards move passing resolution from 270/413 to
276/413 and L6/M7 from 124/413 to 125/413. Functor and <$> leave the
first-blocker names.

Refs #94
@biuld
biuld merged commit 77c8745 into master Oct 4, 2026
2 checks passed
@biuld
biuld deleted the stdlib/data-functor branch October 4, 2026 09:59
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.

1 participant