Text.Location

Documentation

data Position

Constructors

Position

Fields

posRow, posCol :: !Int64

Instances

Eq Position

Ord Position

Show Position

Generic Position

type Rep Position

data Range source

Constructors

Range

Fields

rangeSource :: Maybe source

rangeStart, rangeEnd :: !Position

Instances

Eq source => Eq (Range source)

Ord source => Ord (Range source)

Show source => Show (Range source)

Generic (Range source)

Monoid (Range source)

HasLoc (Range source)

type Rep (Range source)

type LocSource (Range source) = source

data Located source a

Constructors

Located

Fields

locRange :: !(Range source)

locValue :: a

Instances

Functor (Located source)

Foldable (Located source)

Traversable (Located source)

Eq source => Eq (Located source a)

Ord source => Ord (Located source a)

(Show source, Show a) => Show (Located source a)

Generic (Located source a)

HasLoc (Located source a)

UnLoc a => UnLoc (Located source a)

type Rep (Located source a)

type LocSource (Located source a) = source

class UnLoc a where

Remove one layer of location information.

Methods

unLoc :: a -> a

Instances

UnLoc a => UnLoc [a]

UnLoc a => UnLoc (Maybe a)

UnLoc a => UnLoc (Located source a)

class HasLoc a where

Associated Types

type LocSource a :: *

Methods

getLoc :: a -> Range (LocSource a)

Instances

HasLoc a => HasLoc [a]

HasLoc a => HasLoc (Maybe a)

HasLoc (Range source)

((~) * (LocSource a) (LocSource b), HasLoc a, HasLoc b) => HasLoc (a, b)

HasLoc (Located source a)

((~) * (LocSource a) (LocSource b), (~) * (LocSource b) (LocSource c), HasLoc a, HasLoc b, HasLoc c) => HasLoc (a, b, c)

((~) * (LocSource a) (LocSource b), (~) * (LocSource b) (LocSource c), (~) * (LocSource c) (LocSource d), HasLoc a, HasLoc b, HasLoc c, HasLoc d) => HasLoc (a, b, c, d)

at :: HasLoc loc => a -> loc -> Located (LocSource loc) a

thing :: Located source a -> a

movePos

Arguments

:: Int64

Tab size

-> Char

-> Position

-> Position

Move a position by the width of a character.

inRange :: Range source -> Position -> Bool

zeroPos :: Position

rangeText :: Int -> Range source -> Text -> Text

The lines that the region describes, with optional additional lines of context.