Source.Loc

Documentation

data Loc

Constructors

Loc

Fields

• byteRange :: !Range
• span :: !Span

Instances

Semigroup Loc

Defined in Source.Loc

Methods

(<>) :: Loc -> Loc -> Loc

sconcat :: NonEmpty Loc -> Loc

stimes :: Integral b => b -> Loc -> Loc

Generic Loc

Defined in Source.Loc

Associated Types

type Rep Loc :: Type -> Type

Methods

from :: Loc -> Rep Loc x

to :: Rep Loc x -> Loc

Show Loc

Defined in Source.Loc

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

NFData Loc

Defined in Source.Loc

Methods

rnf :: Loc -> ()

Eq Loc

Defined in Source.Loc

Methods

(==) :: Loc -> Loc -> Bool

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

Ord Loc

Defined in Source.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

Hashable Loc

Defined in Source.Loc

Methods

hashWithSalt :: Int -> Loc -> Int

hash :: Loc -> Int

HasSpan Loc

Defined in Source.Loc

Methods

span_ :: Lens' Loc Span

start_ :: Lens' Loc Pos

end_ :: Lens' Loc Pos

ToJSON Loc

Defined in Source.Loc

Methods

toJSON :: Loc -> Value

toEncoding :: Loc -> Encoding

toJSONList :: [Loc] -> Value

toEncodingList :: [Loc] -> Encoding

type Rep Loc

Defined in Source.Loc

type Rep Loc = D1 ('MetaData "Loc" "Source.Loc" "semantic-source-0.1.0.2-inplace" 'False) (C1 ('MetaCons "Loc" 'PrefixI 'True) (S1 ('MetaSel ('Just "byteRange") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Range) :*: S1 ('MetaSel ('Just "span") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Span)))

byteRange_ :: Lens' Loc Range

data Span

A Span of position information

Constructors

Span !Pos !Pos

Instances

Semigroup Span

Defined in Source.Span

Methods

(<>) :: Span -> Span -> Span

sconcat :: NonEmpty Span -> Span

stimes :: Integral b => b -> Span -> Span

Generic Span

Defined in Source.Span

Associated Types

type Rep Span :: Type -> Type

Methods

from :: Span -> Rep Span x

to :: Rep Span x -> Span

Show Span

Defined in Source.Span

Methods

showsPrec :: Int -> Span -> ShowS

show :: Span -> String

showList :: [Span] -> ShowS

NFData Span

Defined in Source.Span

Methods

rnf :: Span -> ()

Eq Span

Defined in Source.Span

Methods

(==) :: Span -> Span -> Bool

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

Ord Span

Defined in Source.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

Hashable Span

Defined in Source.Span

Methods

hashWithSalt :: Int -> Span -> Int

hash :: Span -> Int

HasSpan Span

Defined in Source.Span

Methods

span_ :: Lens' Span Span

start_ :: Lens' Span Pos

end_ :: Lens' Span Pos

FromJSON Span

Defined in Source.Span

Methods

parseJSON :: Value -> Parser Span

parseJSONList :: Value -> Parser [Span]

ToJSON Span

Defined in Source.Span

Methods

toJSON :: Span -> Value

toEncoding :: Span -> Encoding

toJSONList :: [Span] -> Value

toEncodingList :: [Span] -> Encoding

type Rep Span

Defined in Source.Span

type Rep Span = D1 ('MetaData "Span" "Source.Span" "semantic-source-0.1.0.2-inplace" 'False) (C1 ('MetaCons "Span" 'PrefixI 'True) (S1 ('MetaSel ('Just "start") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Pos) :*: S1 ('MetaSel ('Just "end") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Pos)))

data Range

A 0-indexed, half-open interval of integers, defined by start & end indices.

Constructors

Range !Int !Int

Instances

Semigroup Range

Defined in Source.Range

Methods

(<>) :: Range -> Range -> Range

sconcat :: NonEmpty Range -> Range

stimes :: Integral b => b -> Range -> Range

Generic Range

Defined in Source.Range

Associated Types

type Rep Range :: Type -> Type

Methods

from :: Range -> Rep Range x

to :: Rep Range x -> Range

Show Range

Defined in Source.Range

Methods

showsPrec :: Int -> Range -> ShowS

show :: Range -> String

showList :: [Range] -> ShowS

NFData Range

Defined in Source.Range

Methods

rnf :: Range -> ()

Eq Range

Defined in Source.Range

Methods

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

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

Ord Range

Defined in Source.Range

Methods

compare :: Range -> Range -> Ordering

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

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

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

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

max :: Range -> Range -> Range

min :: Range -> Range -> Range

Hashable Range

Defined in Source.Range

Methods

hashWithSalt :: Int -> Range -> Int

hash :: Range -> Int

Lower Range

Defined in Source.Range

Methods

lowerBound :: Range

ToJSON Range

Defined in Source.Range

Methods

toJSON :: Range -> Value

toEncoding :: Range -> Encoding

toJSONList :: [Range] -> Value

toEncodingList :: [Range] -> Encoding

type Rep Range

Defined in Source.Range

type Rep Range = D1 ('MetaData "Range" "Source.Range" "semantic-source-0.1.0.2-inplace" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) (S1 ('MetaSel ('Just "start") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "end") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)))