Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Loc.Types

Description

For convenience, this module exports only the important types from Loc

Synopsis

data Line
data Column
data Loc
data Span
data SpanOrLoc
data Area

Documentation

data Line Source #

Instances

Instances details

Enum Line Source #
Instance details Defined in Data.Loc.Pos Methods succ :: Line -> Line # pred :: Line -> Line # toEnum :: Int -> Line # fromEnum :: Line -> Int # enumFrom :: Line -> [Line] # enumFromThen :: Line -> Line -> [Line] # enumFromTo :: Line -> Line -> [Line] # enumFromThenTo :: Line -> Line -> Line -> [Line] #
Num Line Source #
Instance details Defined in Data.Loc.Pos Methods (+) :: Line -> Line -> Line # (-) :: Line -> Line -> Line # (*) :: Line -> Line -> Line # negate :: Line -> Line # abs :: Line -> Line # signum :: Line -> Line # fromInteger :: Integer -> Line #
Integral Line Source #
Instance details Defined in Data.Loc.Pos Methods quot :: Line -> Line -> Line # rem :: Line -> Line -> Line # div :: Line -> Line -> Line # mod :: Line -> Line -> Line # quotRem :: Line -> Line -> (Line, Line) # divMod :: Line -> Line -> (Line, Line) # toInteger :: Line -> Integer #
Real Line Source #
Instance details Defined in Data.Loc.Pos Methods toRational :: Line -> Rational #
Show Line Source #
Instance details Defined in Data.Loc.Pos Methods showsPrec :: Int -> Line -> ShowS # show :: Line -> String # showList :: [Line] -> ShowS #
Eq Line Source #
Instance details Defined in Data.Loc.Pos Methods (==) :: Line -> Line -> Bool # (/=) :: Line -> Line -> Bool #
Ord Line Source #
Instance details Defined in Data.Loc.Pos Methods compare :: Line -> Line -> Ordering # (<) :: Line -> Line -> Bool # (<=) :: Line -> Line -> Bool # (>) :: Line -> Line -> Bool # (>=) :: Line -> Line -> Bool # max :: Line -> Line -> Line # min :: Line -> Line -> Line #

data Column Source #

Instances

Instances details

Enum Column Source #
Instance details Defined in Data.Loc.Pos Methods succ :: Column -> Column # pred :: Column -> Column # toEnum :: Int -> Column # fromEnum :: Column -> Int # enumFrom :: Column -> [Column] # enumFromThen :: Column -> Column -> [Column] # enumFromTo :: Column -> Column -> [Column] # enumFromThenTo :: Column -> Column -> Column -> [Column] #
Num Column Source #
Instance details Defined in Data.Loc.Pos Methods (+) :: Column -> Column -> Column # (-) :: Column -> Column -> Column # (*) :: Column -> Column -> Column # negate :: Column -> Column # abs :: Column -> Column # signum :: Column -> Column # fromInteger :: Integer -> Column #
Integral Column Source #
Instance details Defined in Data.Loc.Pos Methods quot :: Column -> Column -> Column # rem :: Column -> Column -> Column # div :: Column -> Column -> Column # mod :: Column -> Column -> Column # quotRem :: Column -> Column -> (Column, Column) # divMod :: Column -> Column -> (Column, Column) # toInteger :: Column -> Integer #
Real Column Source #
Instance details Defined in Data.Loc.Pos Methods toRational :: Column -> Rational #
Show Column Source #
Instance details Defined in Data.Loc.Pos Methods showsPrec :: Int -> Column -> ShowS # show :: Column -> String # showList :: [Column] -> ShowS #
Eq Column Source #
Instance details Defined in Data.Loc.Pos Methods (==) :: Column -> Column -> Bool # (/=) :: Column -> Column -> Bool #
Ord Column Source #
Instance details Defined in Data.Loc.Pos Methods compare :: Column -> Column -> Ordering # (<) :: Column -> Column -> Bool # (<=) :: Column -> Column -> Bool # (>) :: Column -> Column -> Bool # (>=) :: Column -> Column -> Bool # max :: Column -> Column -> Column # min :: Column -> Column -> Column #

data Loc Source #

Stands for location, consists of a Line and a Column

You can think of a Loc like a caret position in a text editor. Following the normal convention for text editors and such, line and column numbers start with 1.

Instances

Instances details

Read Loc Source #	`readPrec` = `locReadPrec`
Instance details Defined in Data.Loc.Loc Methods readsPrec :: Int -> ReadS Loc # readList :: ReadS [Loc] # readPrec :: ReadPrec Loc # readListPrec :: ReadPrec [Loc] #
Show Loc Source #	`showsPrec` = `locShowsPrec`
Instance details Defined in Data.Loc.Loc Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #
Eq Loc Source #
Instance details Defined in Data.Loc.Loc Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Ord Loc Source #
Instance details Defined in Data.Loc.Loc Methods compare :: Loc -> Loc -> Ordering # (<) :: Loc -> Loc -> Bool # (<=) :: Loc -> Loc -> Bool # (>) :: Loc -> Loc -> Bool # (>=) :: Loc -> Loc -> Bool # max :: Loc -> Loc -> Loc # min :: Loc -> Loc -> Loc #

data Span Source #

A Span consists of a start location (start) and an end location (end)

The end location must be greater than the start location; in other words, empty or backwards spans are not permitted.

Construct and combine spans using fromTo, fromToMay, +, and -.

Instances

Instances details

Read Span Source #	`readPrec` = `spanReadPrec`
Instance details Defined in Data.Loc.Span Methods readsPrec :: Int -> ReadS Span # readList :: ReadS [Span] # readPrec :: ReadPrec Span # readListPrec :: ReadPrec [Span] #
Show Span Source #	`showsPrec` = `spanShowsPrec`
Instance details Defined in Data.Loc.Span Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #
Eq Span Source #
Instance details Defined in Data.Loc.Span Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Ord Span Source #
Instance details Defined in Data.Loc.Span Methods compare :: Span -> Span -> Ordering # (<) :: Span -> Span -> Bool # (<=) :: Span -> Span -> Bool # (>) :: Span -> Span -> Bool # (>=) :: Span -> Span -> Bool # max :: Span -> Span -> Span # min :: Span -> Span -> Span #

data SpanOrLoc Source #

A SpanOrLoc consists of a start location and an end location

The end location must be greater than or equal to the start location; in other words, backwards spans are not permitted.

If the start and end location are the same, then the value is a SpanOrLoc. If they differ, then the value is a SpanOrLoc.

Instances

Instances details

Show SpanOrLoc Source #
Instance details Defined in Data.Loc.SpanOrLoc Methods showsPrec :: Int -> SpanOrLoc -> ShowS # show :: SpanOrLoc -> String # showList :: [SpanOrLoc] -> ShowS #
Eq SpanOrLoc Source #
Instance details Defined in Data.Loc.SpanOrLoc Methods (==) :: SpanOrLoc -> SpanOrLoc -> Bool # (/=) :: SpanOrLoc -> SpanOrLoc -> Bool #
Ord SpanOrLoc Source #
Instance details Defined in Data.Loc.SpanOrLoc Methods compare :: SpanOrLoc -> SpanOrLoc -> Ordering # (<) :: SpanOrLoc -> SpanOrLoc -> Bool # (<=) :: SpanOrLoc -> SpanOrLoc -> Bool # (>) :: SpanOrLoc -> SpanOrLoc -> Bool # (>=) :: SpanOrLoc -> SpanOrLoc -> Bool # max :: SpanOrLoc -> SpanOrLoc -> SpanOrLoc # min :: SpanOrLoc -> SpanOrLoc -> SpanOrLoc #

data Area Source #

A set of non-overlapping, non-abutting Spans

You may also think of an Area like a span that can be empty or have “gaps.”

Construct and combine areas using mempty, spanArea, fromTo, +, and -.

Instances

Instances details

Monoid Area Source #
Instance details Defined in Data.Loc.Area Methods mempty :: Area # mappend :: Area -> Area -> Area # mconcat :: [Area] -> Area #
Semigroup Area Source #	`<>` = `+`
Instance details Defined in Data.Loc.Area Methods (<>) :: Area -> Area -> Area # sconcat :: NonEmpty Area -> Area # stimes :: Integral b => b -> Area -> Area #
Read Area Source #	`readPrec` = `areaReadPrec`
Instance details Defined in Data.Loc.Area Methods readsPrec :: Int -> ReadS Area # readList :: ReadS [Area] # readPrec :: ReadPrec Area # readListPrec :: ReadPrec [Area] #
Show Area Source #	`showsPrec` = `areaShowsPrec`
Instance details Defined in Data.Loc.Area Methods showsPrec :: Int -> Area -> ShowS # show :: Area -> String # showList :: [Area] -> ShowS #
Eq Area Source #
Instance details Defined in Data.Loc.Area Methods (==) :: Area -> Area -> Bool # (/=) :: Area -> Area -> Bool #
Ord Area Source #
Instance details Defined in Data.Loc.Area Methods compare :: Area -> Area -> Ordering # (<) :: Area -> Area -> Bool # (<=) :: Area -> Area -> Bool # (>) :: Area -> Area -> Bool # (>=) :: Area -> Area -> Bool # max :: Area -> Area -> Area # min :: Area -> Area -> Area #