GLua.Position

Reimplements the LineColPos from `uu-parsinglib`, and adds some more functions related to positioning.

Documentation

data LineColPos

Constructors

LineColPos

Fields

• lcpLine :: !Int
• lcpColumn :: !Int
• lcpPos :: !Int

Instances

FromJSON LineColPos

Defined in GLua.Position

Methods

parseJSON :: Value -> Parser LineColPos

parseJSONList :: Value -> Parser [LineColPos]

ToJSON LineColPos

Defined in GLua.Position

Methods

toJSON :: LineColPos -> Value

toEncoding :: LineColPos -> Encoding

toJSONList :: [LineColPos] -> Value

toEncodingList :: [LineColPos] -> Encoding

Show LineColPos

Defined in GLua.Position

Methods

showsPrec :: Int -> LineColPos -> ShowS

show :: LineColPos -> String

showList :: [LineColPos] -> ShowS

Eq LineColPos

Defined in GLua.Position

Methods

(==) :: LineColPos -> LineColPos -> Bool

(/=) :: LineColPos -> LineColPos -> Bool

Ord LineColPos

Defined in GLua.Position

Methods

compare :: LineColPos -> LineColPos -> Ordering

(<) :: LineColPos -> LineColPos -> Bool

(<=) :: LineColPos -> LineColPos -> Bool

(>) :: LineColPos -> LineColPos -> Bool

(>=) :: LineColPos -> LineColPos -> Bool

max :: LineColPos -> LineColPos -> LineColPos

min :: LineColPos -> LineColPos -> LineColPos

data Region

Constructors

Region

Fields

• rgStart :: !LineColPos
• rgEnd :: !LineColPos

Instances

FromJSON Region

Defined in GLua.Position

Methods

parseJSON :: Value -> Parser Region

parseJSONList :: Value -> Parser [Region]

ToJSON Region

Defined in GLua.Position

Methods

toJSON :: Region -> Value

toEncoding :: Region -> Encoding

toJSONList :: [Region] -> Value

toEncodingList :: [Region] -> Encoding

Generic Region

Defined in GLua.Position

Associated Types

type Rep Region :: Type -> Type

Methods

from :: Region -> Rep Region x

to :: Rep Region x -> Region

Show Region

Defined in GLua.Position

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

Eq Region

Defined in GLua.Position

Methods

(==) :: Region -> Region -> Bool

(/=) :: Region -> Region -> Bool

Ord Region

Defined in GLua.Position

Methods

compare :: Region -> Region -> Ordering

(<) :: Region -> Region -> Bool

(<=) :: Region -> Region -> Bool

(>) :: Region -> Region -> Bool

(>=) :: Region -> Region -> Bool

max :: Region -> Region -> Region

min :: Region -> Region -> Region

type Rep Region

Defined in GLua.Position

type Rep Region = D1 ('MetaData "Region" "GLua.Position" "glualint-1.27.0-A7JGH9cqUPLzpTGmLbCDI" 'False) (C1 ('MetaCons "Region" 'PrefixI 'True) (S1 ('MetaSel ('Just "rgStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LineColPos) :*: S1 ('MetaSel ('Just "rgEnd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LineColPos)))

emptyRg :: Region

An empty region from position 0 to position 0.

rgOr :: Region -> Region -> Region

Hack: Chooses left region if it is not emptyRg, and the right region if it is.

before :: Region -> Region -> Bool

Whether the first region ends strictly before the second region starts

beforeOrOnLine :: Region -> Region -> Bool

Whether the first region ends before or on the same line as the second region

beforeEnd :: Region -> Region -> Bool

Whether the first region ends before the second region ends

beforeEndLine :: Region -> Region -> Bool

Whether the first region ends before or on the same line as the END of the second region

upto :: Region -> Region -> Region

Returns a region that starts at the start of the first region and ends BEFORE the start of the second region