I am playing with tagless final in scala. I use pureconfig to load the configuration and then use the configuration values to set the server port and ...
I am playing with tagless final in scala. I use pureconfig to load the configuration and then use the configuration values to set the server port and ...
I have a Service that looks like this: The Tagless final trait: And somewhere in my implementation, I have the following: This is fine, but I w ...
I'm trying to combine Playframework with Cats Effect 3 Tagless Final style. I'm stuck on the transformation to the Future. Play's Action requires eit ...
I have this binding to configure the Logger[IO] in my app (module with this line is in guice.conf file): class CatsEffectModule extends AbstractModu ...
I have the following algebra in Scala (I am using the Tagless Final Pattern): trait ShoppingCarts[F[_]] { def create(id: String): F[Unit] def fin ...
I am trying to model a dependency using Kleisli. For instance, let's imagine I have the following business logic types: And now I have the followin ...
Could you give me a tagless-final version in Scala, of a logging implementation that is easily testable in unit tests but runs with slf4j or similar f ...
Is there a way to represent IOEither and TaskEither as a single Monad that will also include the tryCatch? I currently will consume an API over HTTP, ...
I've got an API that looks like this: object Comics { ... def impl[F[_]: Applicative]: Comics[F] = new Comics[F] { def getAuthor(slug: Autho ...
I have some code using tagless final approach and found that Intellij IDEA couldn't recognize method from implicit class. I have some type-classes he ...
Let's say I have a following method signature in a project using Cats-effect and tagless final approach: I'm trying to schedule an operation on a s ...
I have an interpreter for an algebra and I would like to write a unit test for it. The interpreter is as follows: the algebra is as follows: th ...
I have written two tagless algebras and I would like to write the laws for one of them. The algebras are as follows: The interpreters are as follo ...
I am trying to use the first time tagless final pattern in Scala and struggling a bit. I have the following algebras definition: and the interpre ...
I have this polymorphic code (see this question) with generic monads for model and client: import Control.Monad.Writer class Monad m => Model m w ...
I have this code with State monads: import Control.Monad.State data ModelData = ModelData String data ClientData = ClientData String act :: String ...
I'm working with Slick and Cats. database.run returns a Future, but I need the method of my class (generic on F[_]: Async) to return a monad F. I can ...
I often do things like: In nutshell, it means if Either is left then use raiseError, if it's right just return value. Is there a more convenient w ...
I have created a simple trait and his implementation: Here I would like to use Either or EitherT to "catch" errors, but I would like also to use IO ...
Background The Haskell and Scala community have been very enamored recently with what they call tagless final 'pattern' of programming. These are ref ...