Safe Haskell	Safe-Inferred
Language	Haskell2010

GLua.Position

Description

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

Synopsis

data LineColPos = LineColPos {
- lcpLine :: !Int
- lcpColumn :: !Int
- lcpPos :: !Int
}
data Region = Region {
- rgStart :: !LineColPos
- rgEnd :: !LineColPos
}
emptyRg :: Region
rgOr :: Region -> Region -> Region
before :: Region -> Region -> Bool
beforeOrOnLine :: Region -> Region -> Bool
beforeEnd :: Region -> Region -> Bool
beforeEndLine :: Region -> Region -> Bool
upto :: Region -> Region -> Region

Documentation

data LineColPos Source #

Constructors

LineColPos
Fields lcpLine :: !Int lcpColumn :: !Int lcpPos :: !Int

Instances

Instances details

FromJSON LineColPos Source #
Instance details Defined in GLua.Position Methods parseJSON :: Value -> Parser LineColPos # parseJSONList :: Value -> Parser [LineColPos] #
ToJSON LineColPos Source #
Instance details Defined in GLua.Position Methods toJSON :: LineColPos -> Value # toEncoding :: LineColPos -> Encoding # toJSONList :: [LineColPos] -> Value # toEncodingList :: [LineColPos] -> Encoding #
Show LineColPos Source #
Instance details Defined in GLua.Position Methods showsPrec :: Int -> LineColPos -> ShowS # show :: LineColPos -> String # showList :: [LineColPos] -> ShowS #
Eq LineColPos Source #
Instance details Defined in GLua.Position Methods (==) :: LineColPos -> LineColPos -> Bool # (/=) :: LineColPos -> LineColPos -> Bool #
Ord LineColPos Source #
Instance details 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 Source #

Constructors

Region
Fields rgStart :: !LineColPos rgEnd :: !LineColPos

Instances

Instances details

FromJSON Region Source #
Instance details Defined in GLua.Position Methods parseJSON :: Value -> Parser Region # parseJSONList :: Value -> Parser [Region] #
ToJSON Region Source #
Instance details Defined in GLua.Position Methods toJSON :: Region -> Value # toEncoding :: Region -> Encoding # toJSONList :: [Region] -> Value # toEncodingList :: [Region] -> Encoding #
Generic Region Source #
Instance details Defined in GLua.Position Associated Types type Rep Region :: Type -> Type # Methods from :: Region -> Rep Region x # to :: Rep Region x -> Region #
Show Region Source #
Instance details Defined in GLua.Position Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Eq Region Source #
Instance details Defined in GLua.Position Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Ord Region Source #
Instance details 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 Source #
Instance details Defined in GLua.Position type Rep Region = D1 ('MetaData "Region" "GLua.Position" "glualint-1.28.0-HSfoAco7mZL5s5twFJVjN4" '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 Source #

An empty region from position 0 to position 0.

rgOr :: Region -> Region -> Region Source #

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

before :: Region -> Region -> Bool Source #

Whether the first region ends strictly before the second region starts

beforeOrOnLine :: Region -> Region -> Bool Source #

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

beforeEnd :: Region -> Region -> Bool Source #

Whether the first region ends before the second region ends

beforeEndLine :: Region -> Region -> Bool Source #

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

upto :: Region -> Region -> Region Source #

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