Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monad-transformers

Combining State monad with Either-style error propagation

Updating outer monad only in monad transformer

Pattern match against value in monad

Is there a principled way to compose two monad transformers if they are of different type, but their underlying monad is of the same type?

Is the streaming package's Stream data type equivalent to FreeT?

What does it mean to "run" inside a monad?

Why can't ContT be made an instance of MonadError?

Scalaz - combining List and State Monad in for comprehension

How do I add the Reader monad to Scotty's monad?

How to use the free monad with Future[M[_]]

How to define MonadUnliftIO instance for a newtype with a phantom type-variable?

Design of interface abstraction

Perform simple IO in Haskeline, inside InputT monad, without having to resort to unsafePerformIO

What is the name of this Monad Stack function?

Use of type synonyms in monad transformers

Existential types and monad transformers

Is/Should wrapping functions into a monad transformer be considered bad practice?

Why do we need Monad Transformers in Scala?

What's a functor on the category of monads?

Monad Transformers in C#