[Haskell-beginners] Pipe and typeclasses

Emmanuel Surleau emmanuel.surleau at gmail.com
Tue Jul 23 21:48:06 CEST 2013


I have seen from time to time the pipe symbol in type signatures, like so:

  class Monad m => MonadReader r m | m -> r where

How should I interpret that ? Or more to the point, how does the compiler
interpret it?



More information about the Beginners mailing list