https://github.com/gvolpe/mtl-generic-reader

Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.
https://github.com/gvolpe/mtl-generic-reader

cats cats-effect derivation io-monad kleisli mtl reader reader-monad zio

Last synced: 7 months ago
JSON representation

Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.

• Host: GitHub
• URL: https://github.com/gvolpe/mtl-generic-reader
• Owner: gvolpe
• Created: 2019-04-27T09:59:16.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-04-30T12:23:14.000Z (about 7 years ago)
• Last Synced: 2025-02-09T01:14:27.594Z (over 1 year ago)
• Topics: cats, cats-effect, derivation, io-monad, kleisli, mtl, reader, reader-monad, zio
• Language: Scala
• Size: 31.3 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
mtl-generic-reader

==================

[![CircleCI](https://circleci.com/gh/gvolpe/mtl-generic-reader.svg?style=svg)](https://circleci.com/gh/gvolpe/mtl-generic-reader)

Exploring the idea of deriving `cats.mtl.ApplicativeAsk` instances for `zio.Task` and `cats.effect.IO` in a principled way.

### Motivation

See the initial PR for additional insight: https://github.com/gvolpe/classy-optics/pull/2

TODO

### Credits

Idea presented at my [Scalar 2019's talk](http://scalar-conf.com/) and further improved with the help of [John De Goes](https://twitter.com/jdegoes).