Safe Haskell	None
Language	Haskell2010

Source.Span

Description

Source position and span information

Mostly taken from purescript's SourcePos definition.

Synopsis

data Span = Span {
- start :: !Pos
- end :: !Pos
}
point :: Pos -> Span
spanFromSrcLoc :: SrcLoc -> Span
data Pos = Pos {
- line :: !Int
- column :: !Int
}
line_ :: Lens' Pos Int
column_ :: Lens' Pos Int
class HasSpan a where
- span_ :: Lens' a Span
- start_ :: Lens' a Pos
- end_ :: Lens' a Pos

Documentation

data Span Source #

A Span of position information

Constructors

Span
Fields start :: !Pos end :: !Pos

Instances

Instances details

Eq Span Source #
Instance details Defined in Source.Span Methods (==) :: Span -> Span -> Bool # (/=) :: Span -> Span -> Bool #
Ord Span Source #
Instance details 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 #
Show Span Source #
Instance details Defined in Source.Span Methods showsPrec :: Int -> Span -> ShowS # show :: Span -> String # showList :: [Span] -> ShowS #
Generic Span Source #
Instance details Defined in Source.Span Associated Types type Rep Span :: Type -> Type # Methods from :: Span -> Rep Span x # to :: Rep Span x -> Span #
Semigroup Span Source #
Instance details Defined in Source.Span Methods (<>) :: Span -> Span -> Span # sconcat :: NonEmpty Span -> Span # stimes :: Integral b => b -> Span -> Span #
NFData Span Source #
Instance details Defined in Source.Span Methods rnf :: Span -> () #
Hashable Span Source #
Instance details Defined in Source.Span Methods hashWithSalt :: Int -> Span -> Int # hash :: Span -> Int #
Lower Span Source #
Instance details Defined in Source.Span Methods lowerBound :: Span #
ToJSON Span Source #
Instance details Defined in Source.Span Methods toJSON :: Span -> Value # toEncoding :: Span -> Encoding # toJSONList :: [Span] -> Value # toEncodingList :: [Span] -> Encoding #
FromJSON Span Source #
Instance details Defined in Source.Span Methods parseJSON :: Value -> Parser Span # parseJSONList :: Value -> Parser [Span] #
HasSpan Span Source #
Instance details Defined in Source.Span Methods span_ :: Lens' Span Span Source # start_ :: Lens' Span Pos Source # end_ :: Lens' Span Pos Source #
type Rep Span Source #
Instance details Defined in Source.Span type Rep Span = D1 ('MetaData "Span" "Source.Span" "semantic-source-0.0.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 Source #

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

spanFromSrcLoc :: SrcLoc -> Span Source #

data Pos Source #

Source position information (1-indexed)

Constructors

Pos
Fields line :: !Int column :: !Int

Instances

Instances details

Eq Pos Source #
Instance details Defined in Source.Span Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Ord Pos Source #
Instance details 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 #
Show Pos Source #
Instance details Defined in Source.Span Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Generic Pos Source #
Instance details Defined in Source.Span Associated Types type Rep Pos :: Type -> Type # Methods from :: Pos -> Rep Pos x # to :: Rep Pos x -> Pos #
NFData Pos Source #
Instance details Defined in Source.Span Methods rnf :: Pos -> () #
Hashable Pos Source #
Instance details Defined in Source.Span Methods hashWithSalt :: Int -> Pos -> Int # hash :: Pos -> Int #
Lower Pos Source #
Instance details Defined in Source.Span Methods lowerBound :: Pos #
ToJSON Pos Source #
Instance details Defined in Source.Span Methods toJSON :: Pos -> Value # toEncoding :: Pos -> Encoding # toJSONList :: [Pos] -> Value # toEncodingList :: [Pos] -> Encoding #
FromJSON Pos Source #
Instance details Defined in Source.Span Methods parseJSON :: Value -> Parser Pos # parseJSONList :: Value -> Parser [Pos] #
type Rep Pos Source #
Instance details Defined in Source.Span type Rep Pos = D1 ('MetaData "Pos" "Source.Span" "semantic-source-0.0.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 Source #

column_ :: Lens' Pos Int Source #

class HasSpan a where Source #

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

Minimal complete definition

span_

Methods

span_ :: Lens' a Span Source #

start_ :: Lens' a Pos Source #

end_ :: Lens' a Pos Source #

Instances

Instances details

HasSpan Span Source #
Instance details Defined in Source.Span Methods span_ :: Lens' Span Span Source # start_ :: Lens' Span Pos Source # end_ :: Lens' Span Pos Source #
HasSpan Loc Source #
Instance details Defined in Source.Loc Methods span_ :: Lens' Loc Span Source # start_ :: Lens' Loc Pos Source # end_ :: Lens' Loc Pos Source #