Copyright	© 2019 James Alexander Feldman-Crough
License	MPL-2.0
Safe Haskell	None
Language	Haskell2010

ProSource.Location

Description

Synopsis

data Location = Location {
- locationSource :: Source
- locationOffset :: Offset
- locationLine :: ~Line
- locationColumn :: ~Column
}

Documentation

data Location Source #

A location in a Source, with the line and column number computed lazily.

Constructors

Location
Fields locationSource :: Source The `Source` this location references. locationOffset :: Offset The position in the `Source`, counted by Unicode codepoints. locationLine :: ~Line The line number in the `Source`. locationColumn :: ~Column The column number in the `Source`.

Instances

Instances details

Eq Location Source #
Instance details Defined in ProSource.Location Methods (==) :: Location -> Location -> Bool # (/=) :: Location -> Location -> Bool #
Show Location Source #
Instance details Defined in ProSource.Location Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Generic Location Source #
Instance details Defined in ProSource.Location Associated Types type Rep Location :: Type -> Type # Methods from :: Location -> Rep Location x # to :: Rep Location x -> Location #
NFData Location Source #
Instance details Defined in ProSource.Location Methods rnf :: Location -> () #
Hashable Location Source #
Instance details Defined in ProSource.Location Methods hashWithSalt :: Int -> Location -> Int # hash :: Location -> Int #
Pretty Location Source #
Instance details Defined in ProSource.Location Methods pretty :: Location -> Doc ann # prettyList :: [Location] -> Doc ann #
HasLocation Location Source #
Instance details Defined in ProSource.HasLocation Methods location :: AffineTraversal' Location Location Source #
type Rep Location Source #
Instance details Defined in ProSource.Location type Rep Location = D1 ('MetaData "Location" "ProSource.Location" "pro-source-0.1.0.0-Aka5hIIzvNFHIHVEFICznz" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) ((S1 ('MetaSel ('Just "locationSource") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Source) :: S1 ('MetaSel ('Just "locationOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Offset)) :: (S1 ('MetaSel ('Just "locationLine") 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Line) :*: S1 ('MetaSel ('Just "locationColumn") 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Column))))