Skip to content
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.

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

[pull] main from typelevel:main #4

Open
wants to merge 636 commits into
base: main
Choose a base branch
from
Open

[pull] main from typelevel:main #4

wants to merge 636 commits into from

Conversation

pull[bot]
Copy link

@pull pull bot commented Jan 6, 2023

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot added the ⤵️ pull label Jan 6, 2023
armanbilge and others added 29 commits October 24, 2023 15:31
update book's link to second edition
Update sbt-typelevel, sbt-typelevel-site to 0.6.1
Is this necessary? The monad laws should ensure that it's safe to use
mutable builders. Nonetheless it will be good to confirm the performance
delta for using immutable data structures
To see if this is more performant than an immutable vector
Executed command: sbt tlPrePrBotHook
Update sbt-typelevel, sbt-typelevel-site to 0.6.2
For the benefit of Monads with optimized Applicative operations eg
parsers
Executed command: sbt tlPrePrBotHook
Update sbt-typelevel, sbt-typelevel-site to 0.6.3
Update sbt-typelevel, sbt-typelevel-site to 0.6.4
m50d and others added 30 commits October 8, 2024 11:10
Add `unorderedFoldMapA` method
Executed command: sbt tlPrePrBotHook
Update sbt-typelevel, sbt-typelevel-site to 0.7.4
GraalVM is no longer available under the free license: graalvm/setup-graalvm#notes-on-oracle-graalvm-for-jdk-17

sbt-typelevel already did the same: typelevel/sbt-typelevel#763
Update GraalVM from 17 to 21
`alignWith` is usually overridden for efficiency
Use alignWith in alignMergeWith
Update auxlib, clib, javalib, nativelib, ... to 0.5.6
Update sbt, scripted-plugin to 1.10.6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.