Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
Wearing the hair shirt Wearing the hair shirt - Microsoft Research
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Monads<br />
<br />
<br />
<br />
Exceptions<br />
type Exn a = Ei<strong>the</strong>r String a<br />
fail :: String -> Exn a<br />
Unique supply<br />
type Uniq a = Int -> (a, Int)<br />
new :: Uniq Int<br />
Parsers<br />
type Parser a = String -> [(a,String)]<br />
alt :: Parser a -> Parser a -> Parser a<br />
Monad combinators (e.g. sequence, fold,<br />
etc), and do-notation, work over all monads