Add renderDecorated, and renderDecoratedM
authorTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 21:47:04 +0000 (13:47 -0800)
committerTrevor Elliott <trevor@galois.com>
Sat, 24 Jan 2015 21:47:04 +0000 (13:47 -0800)
commitaca8d0163b0d4f0e06856d6dde22da40546ca8c2
treea4a5b6abc7ff0c5b1bcf448d97a6d24632e99e7c
parentb96d2aaddb133391a0d17e8d2a0004eaf8f1dd77
Add renderDecorated, and renderDecoratedM

  Also, go back to storing the annotation value in the AnnotEnd constructor, as
that makes it easier to use that value when processing both the start and end of
an annotation.
src/Text/PrettyPrint/Annotated/HughesPJ.hs