kleisli

There are 0 repository under kleisli topic.

profunktor / http4s-tracer
:bar_chart: End-to-end tracing system for Http4s
http4s kleisli middleware reader-monad tracer tracing-applications
Language:Scala 109
YBogomolov / kleisli-ts
Kleisli arrows for bifunctor IO
functional-programming kleisli typescript fp-ts effects fp
Language:TypeScript 45
darky / rocket-pipes
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
pipe pipeline kleisli ramda compose composition maybe promise either validation adt monet ts typescript chain-promise fp-libraries context mock aop exit
Language:TypeScript 23
mtumilowicz / scala-cats-functional-dependency-injection-workshop
Introduction into functional dependency injection with Reader monad.
workshop workshop-materials workshops cats cats-effect effect monad-transformers functional-programming functional-dependency-injection dependency-injection reader-monad reader kleisli kleisli-arrows
Language:Scala 8
routis / jira-klient
Kotlin client for JIRA that uses arrow-kt
jira-client kotlin arrow-kt functional functional-reactive-programming kleisli tagless-final
Language:Kotlin 7
mtumilowicz / java11-category-theory-kleisli-category
Java implementation of Bartosz Milewski examples and challenges of Kleisli Category.
kleisli category-theory
Language:Java 2
DmytroMitin / test
scala java interop cats higher-kinded-types kleisli
Language:Scala 1
gvolpe / mtl-generic-reader
Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.
mtl reader reader-monad zio kleisli cats cats-effect io-monad derivation
Language:Scala 1
hermannhueck / composing-functions
From Function1#apply to Kleisli - Different Ways of Function Composition in Scala
scala function composition functor monad monoid kleisli reader cats
Language:Scala 1
spidermoy / Monads_KleisliTriples_Proof
Computer Scientist Degree - Thesis Work
coq coq-formalization unam fciencias monads kleisli category-theory functional-programming mexico-city natural-transformation functor mac-lane computer-science-degree
Language:Coq 1
Alex1005a / AppForManagers
App for managers and them workers on scala Play framework
scala ddd functional-programming play-framework cats-effect kleisli tagless-final
Language:Scala 0
dtarima / beginning-fp-monad-1
A small Monad tutorial for beginners making first steps into functional programming.
monad functional-programming python bind haskell side-effects pure composition kleisli
Language:Python 0
surovv / kleisli
javascript with monads and function composition
functional-programming functional kleisli javascript monad monads functional-js functions functor functional-languages javascipt js maybe identity academic category-theory category
Language:JavaScript 0
mtumilowicz / scala212-category-theory-kleisli-writer-category-functor
Constructing functor using Kleisli operator.
functor kleisli
Language:Scala