@@ -3,6 +3,11 @@ module Reporting.Region where
4import Data.Aeson ((.=))
4import Data.Aeson ((.=))
5import qualified Data.Aeson as Json
5import qualified Data.Aeson as Json
8data Region =
13data Region =
@@ -60,3 +65,25 @@ instance Json.ToJSON Position where
60 [ "line" .= line
65 [ "line" .= line
61 , "column" .= column
66 , "column" .= column
74+instance Binary Region where
76+ Region <$> get <*> get
78+ put (Region start end) =
83+instance Binary Position where
85+ Position <$> get <*> get
87+ put (Position line column) =