Language.PureScript.AST.SourcePos

Source position information

Documentation

type SourceAnn = (SourceSpan, [Comment])

Source annotation - position information and comments.

data SourcePos

Source position information

Constructors

SourcePos

Fields

• sourcePosLine :: Int

  Line number

• sourcePosColumn :: Int

  Column number

Instances

Eq SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

(==) :: SourcePos -> SourcePos -> Bool

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

Ord SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

compare :: SourcePos -> SourcePos -> Ordering

(<) :: SourcePos -> SourcePos -> Bool

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

(>) :: SourcePos -> SourcePos -> Bool

(>=) :: SourcePos -> SourcePos -> Bool

max :: SourcePos -> SourcePos -> SourcePos

min :: SourcePos -> SourcePos -> SourcePos

Show SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

Generic SourcePos

Defined in Language.PureScript.AST.SourcePos

Associated Types

type Rep SourcePos :: Type -> Type

Methods

from :: SourcePos -> Rep SourcePos x

to :: Rep SourcePos x -> SourcePos

NFData SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

rnf :: SourcePos -> ()

ToJSON SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

toJSON :: SourcePos -> Value

toEncoding :: SourcePos -> Encoding

toJSONList :: [SourcePos] -> Value

toEncodingList :: [SourcePos] -> Encoding

FromJSON SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

parseJSON :: Value -> Parser SourcePos

parseJSONList :: Value -> Parser [SourcePos]

Serialise SourcePos

Defined in Language.PureScript.AST.SourcePos

Methods

encode :: SourcePos -> Encoding

decode :: Decoder s SourcePos

encodeList :: [SourcePos] -> Encoding

decodeList :: Decoder s [SourcePos]

type Rep SourcePos

Defined in Language.PureScript.AST.SourcePos

type Rep SourcePos = D1 (MetaData "SourcePos" "Language.PureScript.AST.SourcePos" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "SourcePos" PrefixI True) (S1 (MetaSel (Just "sourcePosLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "sourcePosColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

displaySourcePos :: SourcePos -> Text

displaySourcePosShort :: SourcePos -> Text

data SourceSpan

Constructors

SourceSpan

Fields

• spanName :: String

  Source name

• spanStart :: SourcePos

  Start of the span

• spanEnd :: SourcePos

  End of the span

Instances

Eq SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

(==) :: SourceSpan -> SourceSpan -> Bool

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

Ord SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

compare :: SourceSpan -> SourceSpan -> Ordering

(<) :: SourceSpan -> SourceSpan -> Bool

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

(>) :: SourceSpan -> SourceSpan -> Bool

(>=) :: SourceSpan -> SourceSpan -> Bool

max :: SourceSpan -> SourceSpan -> SourceSpan

min :: SourceSpan -> SourceSpan -> SourceSpan

Show SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

showsPrec :: Int -> SourceSpan -> ShowS

show :: SourceSpan -> String

showList :: [SourceSpan] -> ShowS

Generic SourceSpan

Defined in Language.PureScript.AST.SourcePos

Associated Types

type Rep SourceSpan :: Type -> Type

Methods

from :: SourceSpan -> Rep SourceSpan x

to :: Rep SourceSpan x -> SourceSpan

NFData SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

rnf :: SourceSpan -> ()

ToJSON SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

toJSON :: SourceSpan -> Value

toEncoding :: SourceSpan -> Encoding

toJSONList :: [SourceSpan] -> Value

toEncodingList :: [SourceSpan] -> Encoding

FromJSON SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

parseJSON :: Value -> Parser SourceSpan

parseJSONList :: Value -> Parser [SourceSpan]

Serialise SourceSpan

Defined in Language.PureScript.AST.SourcePos

Methods

encode :: SourceSpan -> Encoding

decode :: Decoder s SourceSpan

encodeList :: [SourceSpan] -> Encoding

decodeList :: Decoder s [SourceSpan]

FromJSON (Kind SourceAnn)

Defined in Language.PureScript.Kinds

Methods

parseJSON :: Value -> Parser (Kind SourceAnn)

parseJSONList :: Value -> Parser [Kind SourceAnn]

FromJSON (Constraint SourceAnn)

Defined in Language.PureScript.Types

Methods

parseJSON :: Value -> Parser (Constraint SourceAnn)

parseJSONList :: Value -> Parser [Constraint SourceAnn]

FromJSON (Type SourceAnn)

Defined in Language.PureScript.Types

Methods

parseJSON :: Value -> Parser (Type SourceAnn)

parseJSONList :: Value -> Parser [Type SourceAnn]

type Rep SourceSpan

Defined in Language.PureScript.AST.SourcePos

type Rep SourceSpan = D1 (MetaData "SourceSpan" "Language.PureScript.AST.SourcePos" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "SourceSpan" PrefixI True) (S1 (MetaSel (Just "spanName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "spanStart") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourcePos) :*: S1 (MetaSel (Just "spanEnd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourcePos))))

displayStartEndPos :: SourceSpan -> Text

displayStartEndPosShort :: SourceSpan -> Text

displaySourceSpan :: FilePath -> SourceSpan -> Text

internalModuleSourceSpan :: String -> SourceSpan

nullSourceSpan :: SourceSpan

nullSourceAnn :: SourceAnn

pattern NullSourceSpan :: SourceSpan

pattern NullSourceAnn :: SourceAnn

nonEmptySpan :: SourceAnn -> Maybe SourceSpan

widenSourceSpan :: SourceSpan -> SourceSpan -> SourceSpan

widenSourceAnn :: SourceAnn -> SourceAnn -> SourceAnn