Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in monads

How to use value from different type monad in Haskell

haskell types monads

Implicits resolution with Scala-cats

Please correct my use of the Maybe Monad

haskell monads

Extending the ServerPartT Monad with a Reader

Monad composition (Cont · State)

How should I map over Maybe List?

Composing monad transformer stacks

Turn monadic validation into applicative?

The purpose of functors

Class of monads in Dart

class haskell dart monads

Can one simplify the Codensity monad on Maybe?

Writing a monad with out-of-band data (aka, composing monads in parallel)

haskell monads

Haskell -- Understanding the writer type declaration

How to modify or read a mutable vector passed as an argument in a function?

haskell vector monads mutable

How to combine Arbitrary and IO monads?

haskell monads quickcheck

Requiring that a function must be a retraction in Haskell?

haskell monads graph-theory

What does <* in Haskell readP do?