@@ -4,8 +4,10 @@ import Prelude hiding (map)
4import qualified Reporting.Region as R
4import qualified Reporting.Region as R
7-- ANNOTATION
8-- ANNOTATION
9data Annotated annotation a
11data Annotated annotation a
10 = A annotation a
12 = A annotation a
@@ -18,8 +20,10 @@ type Commented a =
18 Annotated (R.Region, Maybe String) a
20 Annotated (R.Region, Maybe String) a
23at :: R.Position -> R.Position -> a -> Located a
27at :: R.Position -> R.Position -> a -> Located a
24at start end value =
28at start end value =
25 A (R.Region start end) value
29 A (R.Region start end) value
@@ -35,8 +39,10 @@ sameAs (A annotation _) value =
35 A annotation value
39 A annotation value
38-- MANIPULATE
43-- MANIPULATE
40map :: (a -> b) -> Annotated info a -> Annotated info b
46map :: (a -> b) -> Annotated info a -> Annotated info b
41map f (A annotation value) =
47map f (A annotation value) =
42 A annotation (f value)
48 A annotation (f value)