Skip to content

Add Generic Kleisli Composition Operator#1539

Open
micmarsh wants to merge 1 commit into
louthy:mainfrom
micmarsh:kleisli-operator
Open

Add Generic Kleisli Composition Operator#1539
micmarsh wants to merge 1 commit into
louthy:mainfrom
micmarsh:kleisli-operator

Conversation

@micmarsh

Copy link
Copy Markdown
Contributor

A small thing I've found useful in my local experimentation, seems worthwhile here given how generic it is.

@louthy let me know what you think; I don't have the time or inclination to create versions of this for each concrete data type (wouldn't want to put that on you either!), but I think this should be useful enough as-is

@louthy

louthy commented Feb 13, 2026

Copy link
Copy Markdown
Owner

Yes, I think it's time, Kleisli works elegantly now. I'm on various skiing trips right now, so I'll follow up when I get back.

Thanks for the contribution.

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.

2 participants