{-# LANGUAGE StrictData #-}

{- |
Copyright: © 2019 James Alexander Feldman-Crough
License: MPL-2.0
-}
module ProSource.Location (Location (..)) where

import ProSource.Source
import ProSource.Units

-- | A location in a 'Source', with the line and column number computed lazily.
data Location = Location
    { Location -> Source
locationSource :: Source
      -- ^ The 'Source' this location references.
    , Location -> Offset
locationOffset :: Offset
      -- ^ The position in the 'Source', counted by Unicode codepoints.
    , Location -> Line
locationLine   :: ~Line
      -- ^ The line number in the 'Source'.
    , Location -> Column
locationColumn :: ~Column
      -- ^ The column number in the 'Source'.
    }
  deriving stock (Int -> Location -> ShowS
[Location] -> ShowS
Location -> String
(Int -> Location -> ShowS)
-> (Location -> String) -> ([Location] -> ShowS) -> Show Location
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Location] -> ShowS
$cshowList :: [Location] -> ShowS
show :: Location -> String
$cshow :: Location -> String
showsPrec :: Int -> Location -> ShowS
$cshowsPrec :: Int -> Location -> ShowS
Show, (forall x. Location -> Rep Location x)
-> (forall x. Rep Location x -> Location) -> Generic Location
forall x. Rep Location x -> Location
forall x. Location -> Rep Location x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Location x -> Location
$cfrom :: forall x. Location -> Rep Location x
Generic, Location -> Location -> Bool
(Location -> Location -> Bool)
-> (Location -> Location -> Bool) -> Eq Location
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Location -> Location -> Bool
$c/= :: Location -> Location -> Bool
== :: Location -> Location -> Bool
$c== :: Location -> Location -> Bool
Eq)
  deriving anyclass (Location -> ()
(Location -> ()) -> NFData Location
forall a. (a -> ()) -> NFData a
rnf :: Location -> ()
$crnf :: Location -> ()
NFData, Eq Location
Eq Location
-> (Int -> Location -> Int)
-> (Location -> Int)
-> Hashable Location
Int -> Location -> Int
Location -> Int
forall a. Eq a -> (Int -> a -> Int) -> (a -> Int) -> Hashable a
hash :: Location -> Int
$chash :: Location -> Int
hashWithSalt :: Int -> Location -> Int
$chashWithSalt :: Int -> Location -> Int
$cp1Hashable :: Eq Location
Hashable)

instance Pretty Location where
    pretty :: Location -> Doc ann
pretty Location
loc = Source -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty (Location -> Source
locationSource Location
loc) Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> Doc ann
"@" Doc ann -> Doc ann -> Doc ann
forall ann. Doc ann -> Doc ann -> Doc ann
<+> [Doc ann] -> Doc ann
forall a. Monoid a => [a] -> a
mconcat
        [Line -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty (Location -> Line
locationLine Location
loc), Doc ann
"×", Column -> Doc ann
forall a ann. Pretty a => a -> Doc ann
pretty (Location -> Column
locationColumn Location
loc)]