Text.Location

Documentation

data Position

Constructors

Position

Fields

• posRow, posCol :: !Int64

Instances

Eq Position

Methods

(==) :: Position -> Position -> Bool

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

Ord Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

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

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Generic Position

Associated Types

type Rep Position :: * -> *

Methods

from :: Position -> Rep Position x

to :: Rep Position x -> Position

type Rep Position

type Rep Position = D1 (MetaData "Position" "Text.Location" "located-0.1.1.0-CnWaHv54qwOISexTJPeteJ" False) (C1 (MetaCons "Position" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "posRow") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int64)) (S1 (MetaSel (Just Symbol "posCol") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int64))))

data Range source

Constructors

Range

Fields

• rangeSource :: Maybe source
• rangeStart, rangeEnd :: !Position

Instances

Eq source => Eq (Range source)

Methods

(==) :: Range source -> Range source -> Bool

(/=) :: Range source -> Range source -> Bool

Ord source => Ord (Range source)

Methods

compare :: Range source -> Range source -> Ordering

(<) :: Range source -> Range source -> Bool

(<=) :: Range source -> Range source -> Bool

(>) :: Range source -> Range source -> Bool

(>=) :: Range source -> Range source -> Bool

max :: Range source -> Range source -> Range source

min :: Range source -> Range source -> Range source

Show source => Show (Range source)

Methods

showsPrec :: Int -> Range source -> ShowS

show :: Range source -> String

showList :: [Range source] -> ShowS

Generic (Range source)

Associated Types

type Rep (Range source) :: * -> *

Methods

from :: Range source -> Rep (Range source) x

to :: Rep (Range source) x -> Range source

Monoid (Range source)

Methods

mempty :: Range source

mappend :: Range source -> Range source -> Range source

mconcat :: [Range source] -> Range source

HasLoc (Range source)

Associated Types

type LocSource (Range source) :: *

Methods

getLoc :: Range source -> Range (LocSource (Range source))

type Rep (Range source)

type Rep (Range source) = D1 (MetaData "Range" "Text.Location" "located-0.1.1.0-CnWaHv54qwOISexTJPeteJ" False) (C1 (MetaCons "Range" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "rangeSource") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe source))) ((:*:) (S1 (MetaSel (Just Symbol "rangeStart") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Position)) (S1 (MetaSel (Just Symbol "rangeEnd") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Position)))))

type LocSource (Range source)

type LocSource (Range source) = source

data Located source a

Constructors

Located

Fields

• locRange :: !(Range source)
• locValue :: a

Instances

Functor (Located source)

Methods

fmap :: (a -> b) -> Located source a -> Located source b

(<$) :: a -> Located source b -> Located source a

Foldable (Located source)

Methods

fold :: Monoid m => Located source m -> m

foldMap :: Monoid m => (a -> m) -> Located source a -> m

foldr :: (a -> b -> b) -> b -> Located source a -> b

foldr' :: (a -> b -> b) -> b -> Located source a -> b

foldl :: (b -> a -> b) -> b -> Located source a -> b

foldl' :: (b -> a -> b) -> b -> Located source a -> b

foldr1 :: (a -> a -> a) -> Located source a -> a

foldl1 :: (a -> a -> a) -> Located source a -> a

toList :: Located source a -> [a]

null :: Located source a -> Bool

length :: Located source a -> Int

elem :: Eq a => a -> Located source a -> Bool

maximum :: Ord a => Located source a -> a

minimum :: Ord a => Located source a -> a

sum :: Num a => Located source a -> a

product :: Num a => Located source a -> a

Traversable (Located source)

Methods

traverse :: Applicative f => (a -> f b) -> Located source a -> f (Located source b)

sequenceA :: Applicative f => Located source (f a) -> f (Located source a)

mapM :: Monad m => (a -> m b) -> Located source a -> m (Located source b)

sequence :: Monad m => Located source (m a) -> m (Located source a)

Eq source => Eq (Located source a)

Methods

(==) :: Located source a -> Located source a -> Bool

(/=) :: Located source a -> Located source a -> Bool

Ord source => Ord (Located source a)

Methods

compare :: Located source a -> Located source a -> Ordering

(<) :: Located source a -> Located source a -> Bool

(<=) :: Located source a -> Located source a -> Bool

(>) :: Located source a -> Located source a -> Bool

(>=) :: Located source a -> Located source a -> Bool

max :: Located source a -> Located source a -> Located source a

min :: Located source a -> Located source a -> Located source a

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

Methods

showsPrec :: Int -> Located source a -> ShowS

show :: Located source a -> String

showList :: [Located source a] -> ShowS

Generic (Located source a)

Associated Types

type Rep (Located source a) :: * -> *

Methods

from :: Located source a -> Rep (Located source a) x

to :: Rep (Located source a) x -> Located source a

HasLoc (Located source a)

Associated Types

type LocSource (Located source a) :: *

Methods

getLoc :: Located source a -> Range (LocSource (Located source a))

UnLoc a => UnLoc (Located source a)

Methods

unLoc :: Located source a -> Located source a

type Rep (Located source a)

type Rep (Located source a) = D1 (MetaData "Located" "Text.Location" "located-0.1.1.0-CnWaHv54qwOISexTJPeteJ" False) (C1 (MetaCons "Located" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "locRange") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Range source))) (S1 (MetaSel (Just Symbol "locValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))

type LocSource (Located source a)

type LocSource (Located source a) = source

class UnLoc a where

Remove one layer of location information.

Minimal complete definition

unLoc

Methods

unLoc :: a -> a

Instances

UnLoc a => UnLoc [a]

Methods

unLoc :: [a] -> [a]

UnLoc a => UnLoc (Maybe a)

Methods

unLoc :: Maybe a -> Maybe a

UnLoc a => UnLoc (Located source a)

Methods

unLoc :: Located source a -> Located source a

class HasLoc a where

Minimal complete definition

getLoc

Associated Types

type LocSource a :: *

Methods

getLoc :: a -> Range (LocSource a)

Instances

HasLoc a => HasLoc [a]

Associated Types

type LocSource [a] :: *

Methods

getLoc :: [a] -> Range (LocSource [a])

HasLoc a => HasLoc (Maybe a)

Associated Types

type LocSource (Maybe a) :: *

Methods

getLoc :: Maybe a -> Range (LocSource (Maybe a))

HasLoc (Range source)

Associated Types

type LocSource (Range source) :: *

Methods

getLoc :: Range source -> Range (LocSource (Range source))

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

Associated Types

type LocSource (a, b) :: *

Methods

getLoc :: (a, b) -> Range (LocSource (a, b))

HasLoc (Located source a)

Associated Types

type LocSource (Located source a) :: *

Methods

getLoc :: Located source a -> Range (LocSource (Located source a))

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

Associated Types

type LocSource (a, b, c) :: *

Methods

getLoc :: (a, b, c) -> Range (LocSource (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)

Associated Types

type LocSource (a, b, c, d) :: *

Methods

getLoc :: (a, b, c, d) -> Range (LocSource (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.