CARVIEW |
Select Language
HTTP/2 200
date: Sat, 19 Jul 2025 17:25:37 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"a599447539bd0842d053a08baaad47b1"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=6OIzCjwLHcLNkX40SQaJmWjlkPzTwCTzbpjpAp0GyZNPnjluTpwVbpAicImfoCRxidZZ%2Bm31Wgs%2FMTGzSfo5dA%2BLyvcMsSlY7DKAsTOi6ua%2FicDdpDa9pOVZU0t6AHeW8lXFUrpt7dz4PWLeNRWPJsF0Ii%2FvM8drn8LlGSAJC5dCHP2bh75UDO9DQpH3irqDlE%2BLS3IDtNifbfcofStBtwO7OjLd5GcJTtfJLuKmMLSYRfVCGnjxU91iIzg0FNQkujBN9xbFGblwR4IWyBF6Kg%3D%3D--F4T6vyUrquVJ4J7R--pwm4Mqki4K6Wpq0lqAyeRQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1997121625.1752945936; Path=/; Domain=github.com; Expires=Sun, 19 Jul 2026 17:25:36 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Sun, 19 Jul 2026 17:25:36 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 9410:9AEBD:6F35C3:8B61F6:687BD510
Daenyth (Alanna Stone) · GitHub
Skip to content
Navigation Menu
{{ message }}
- Boston, MA, USA
Pinned Loading
-
Cockatrice/Cockatrice
Cockatrice/Cockatrice PublicA cross-platform virtual tabletop for multiplayer card games
-
intro-cats-effect
intro-cats-effect PublicSlides and video recording for my "Intro to Cats-Effect" talk
-
Designing an fs2 `Pull` from scratch
Designing an fs2 `Pull` from scratch 1## The problem
23I have some data which has adjacent entries that I want to group together and perform actions on.
4I know roughly that `fs2.Pull` can be used to "step" through a stream and do more complicated
5logic than the built in combinators allow. I don't know how to write one though!
-
Cheat sheet for common cats monad an...
Cheat sheet for common cats monad and fs2 operation shapes 1| Operation | Input | Result | Notes |
2| --- | --- | --- | --- |
3| map | `F[A]` , `A => B` | `F[B]` | Functor |
4| apply | `F[A]` , `F[A => B]` | `F[B]` | Applicative |
5| (fa, fb, ...).mapN | `(F[A], F[B], ...)` , `(A, B, ...) => C` | `F[C]` | Applicative
-
Scala (cats) map/traverse parallels
Scala (cats) map/traverse parallels 1### Parallels between `map` and similar functions
2```
3map :: F[A] => (A => B) => F[B]
4flatMap :: F[A] => (A => F[B]) => F[B]
5traverse :: G[A] => (A => F[B]) => F[G[B]]
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
You can’t perform that action at this time.