Source.Span

Source position and span information

Mostly taken from purescript's SourcePos definition.

Documentation

data Span

A Span of position information

Constructors

Span

Fields

• start :: !Pos
• end :: !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]

omittedField :: Maybe Span

ToJSON Span

Defined in Source.Span

Methods

toJSON :: Span -> Value

toEncoding :: Span -> Encoding

toJSONList :: [Span] -> Value

toEncodingList :: [Span] -> Encoding

omitField :: Span -> Bool

type Rep Span

Defined in Source.Span

type Rep Span = D1 ('MetaData "Span" "Source.Span" "semantic-source-0.2.0.1-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)))

point :: Pos -> Span

Construct a Span with a given value for both its start and end positions.

spanFromSrcLoc :: SrcLoc -> Span

data Pos

Source position information. The Pos values associated with ASTs returned from tree-sitter Unmarshal instances are zero-indexed. Unless you are displaying span information to a user, you should write your code assuming zero-indexing.

Constructors

Pos

Fields

• line :: !Int
• column :: !Int

Instances

Generic Pos

Defined in Source.Span

Associated Types

type Rep Pos :: Type -> Type

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

Show Pos

Defined in Source.Span

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

NFData Pos

Defined in Source.Span

Methods

rnf :: Pos -> ()

Eq Pos

Defined in Source.Span

Methods

(==) :: Pos -> Pos -> Bool

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

Ord Pos

Defined in Source.Span

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

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

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

Hashable Pos

Defined in Source.Span

Methods

hashWithSalt :: Int -> Pos -> Int

hash :: Pos -> Int

FromJSON Pos

Defined in Source.Span

Methods

parseJSON :: Value -> Parser Pos

parseJSONList :: Value -> Parser [Pos]

omittedField :: Maybe Pos

ToJSON Pos

Defined in Source.Span

Methods

toJSON :: Pos -> Value

toEncoding :: Pos -> Encoding

toJSONList :: [Pos] -> Value

toEncodingList :: [Pos] -> Encoding

omitField :: Pos -> Bool

type Rep Pos

Defined in Source.Span

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

line_ :: Lens' Pos Int

column_ :: Lens' Pos Int

class HasSpan a where

"Classy-fields" interface for data types that have spans.

Minimal complete definition

span_

Methods

span_ :: Lens' a Span

start_ :: Lens' a Pos

end_ :: Lens' a Pos

Instances

HasSpan Loc

Defined in Source.Loc

Methods

span_ :: Lens' Loc Span

start_ :: Lens' Loc Pos

end_ :: Lens' Loc Pos

HasSpan Span

Defined in Source.Span

Methods

span_ :: Lens' Span Span

start_ :: Lens' Span Pos

end_ :: Lens' Span Pos