📊 End-to-end tracing system for Http4s
-
Updated
May 20, 2022 - Scala
#
kleisli
Here are 13 public repositories matching this topic...
Kleisli arrows for bifunctor IO
-
Updated
Jan 7, 2023 - TypeScript
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
mock
typescript
validation
pipeline
promise
pipe
composition
ramda
ts
context
aop
adt
maybe
either
compose
exit
kleisli
monet
chain-promise
fp-libraries
-
Updated
Jun 16, 2024 - TypeScript
Introduction into functional dependency injection with Reader monad.
cats
workshops
workshop
functional-programming
dependency-injection
reader
workshop-materials
monad-transformers
effect
reader-monad
kleisli
cats-effect
kleisli-arrows
functional-dependency-injection
-
Updated
Feb 18, 2023 - Scala
Kotlin client for JIRA that uses arrow-kt
-
Updated
Mar 14, 2019 - Kotlin
Java implementation of Bartosz Milewski examples and challenges of Kleisli Category.
-
Updated
Dec 20, 2018 - Java
Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.
-
Updated
Apr 30, 2019 - Scala
Computer Scientist Degree - Thesis Work
monads
functional-programming
coq
functor
category-theory
coq-formalization
unam
kleisli
natural-transformation
computer-science-degree
mexico-city
fciencias
mac-lane
-
Updated
Jul 6, 2020 - Coq
javascript with monads and function composition
javascript
identity
monads
functional
js
functional-programming
functions
academic
functional-languages
monad
functor
category-theory
functional-js
maybe
category
javascipt
kleisli
-
Updated
Dec 24, 2018 - JavaScript
A small Monad tutorial for beginners making first steps into functional programming.
-
Updated
Aug 9, 2018 - Python
Improve this page
Add a description, image, and links to the kleisli topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kleisli topic, visit your repo's landing page and select "manage topics."