Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

Nice way to keep track of several references between functions in ST monad?

state monads haskell

Haskell and lazy Monads evaluation

Class contraints for monads and monad functions

haskell monads

Haskell do clause with multiple monad types

Reader Monad with Scalaz

scala monads scalaz

What good is the monad instance of Cont?

Why are instances matched only by their heads?

What the heck is "-<", anyway?

haskell monads

Using servant with ReaderT IO a

How does the Maybe monad act as a short circuit?

How to use Kleisli arrows with monads?

haskell monads arrows kleisli

How to write a monad that prints "step i of N" when executing each statement in the monad?

Chaining method calls with Either

In GHCi, why can't I show `pure 1` in REPL?

haskell monads functor ghci

How is List a monad?

scala monads

When exactly is lifting needed in monad transformers?

How can I parameterise my Haskell functions?

Understanding this assignment?

Proving equivalence of sequence definitions from Applicative and Monad

How to write a monad instance for a pair where both arguments have the same type?

haskell monads