30 May
2011
30 May
'11
7:35 p.m.
Related question: Could you explain the typeclass definition for MonadError to me?: class (Monad m) => MonadError e m | m -> e where throwError :: e -> m a catchError :: m a -> (e -> m a) -> m a More specifically: Why is there a pipe symbol followed by what looks like a function definition in the "class" line? The typeclass definitions from the tutorials I went through were simpler, like: class BasicEq a where isEqual :: a -> a -> Bool -- frigidcode.com theologia.indicium.us