@@ -4,8 +4,10 @@ import Prelude hiding (map)
44import qualified Reporting.Region as R
55
66
7+
78-- ANNOTATION
89
10+
911data Annotated annotation a
1012 = A annotation a
1113
@@ -18,8 +20,10 @@ type Commented a =
1820 Annotated (R.Region, Maybe String) a
1921
2022
23+
2124-- CREATE
2225
26+
2327at :: R.Position -> R.Position -> a -> Located a
2428at start end value =
2529 A (R.Region start end) value
@@ -35,8 +39,10 @@ sameAs (A annotation _) value =
3539 A annotation value
3640
3741
42+
3843-- MANIPULATE
3944
45+
4046map :: (a -> b) -> Annotated info a -> Annotated info b
4147map f (A annotation value) =
4248 A annotation (f value)