Safe Haskell	None
Language	Haskell2010

Language.PureScript.AST.SourcePos

Description

Source position information

Synopsis

type SourceAnn = (SourceSpan, [Comment])
data SourcePos = SourcePos {
- sourcePosLine :: Int
- sourcePosColumn :: Int
}
displaySourcePos :: SourcePos -> Text
displaySourcePosShort :: SourcePos -> Text
data SourceSpan = SourceSpan {
- spanName :: String
- spanStart :: SourcePos
- spanEnd :: 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

Documentation

type SourceAnn = (SourceSpan, [Comment]) Source #

Source annotation - position information and comments.

data SourcePos Source #

Source position information

Constructors

SourcePos
Fields sourcePosLine :: Int Line number sourcePosColumn :: Int Column number

Instances

Eq SourcePos Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Ord SourcePos Source #
Instance details 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 Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #
Generic SourcePos Source #
Instance details 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 Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods rnf :: SourcePos -> () #
ToJSON SourcePos Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods toJSON :: SourcePos -> Value # toEncoding :: SourcePos -> Encoding # toJSONList :: [SourcePos] -> Value # toEncodingList :: [SourcePos] -> Encoding #
FromJSON SourcePos Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods parseJSON :: Value -> Parser SourcePos # parseJSONList :: Value -> Parser [SourcePos] #
type Rep SourcePos Source #
Instance details Defined in Language.PureScript.AST.SourcePos type Rep SourcePos = D1 (MetaData "SourcePos" "Language.PureScript.AST.SourcePos" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

displaySourcePosShort :: SourcePos -> Text Source #

data SourceSpan Source #

Constructors

SourceSpan
Fields spanName :: String Source name spanStart :: SourcePos Start of the span spanEnd :: SourcePos End of the span

Instances

Eq SourceSpan Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods (==) :: SourceSpan -> SourceSpan -> Bool # (/=) :: SourceSpan -> SourceSpan -> Bool #
Ord SourceSpan Source #
Instance details 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 Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods showsPrec :: Int -> SourceSpan -> ShowS # show :: SourceSpan -> String # showList :: [SourceSpan] -> ShowS #
Generic SourceSpan Source #
Instance details 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 Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods rnf :: SourceSpan -> () #
ToJSON SourceSpan Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods toJSON :: SourceSpan -> Value # toEncoding :: SourceSpan -> Encoding # toJSONList :: [SourceSpan] -> Value # toEncodingList :: [SourceSpan] -> Encoding #
FromJSON SourceSpan Source #
Instance details Defined in Language.PureScript.AST.SourcePos Methods parseJSON :: Value -> Parser SourceSpan # parseJSONList :: Value -> Parser [SourceSpan] #
FromJSON (Kind SourceAnn) Source #
Instance details Defined in Language.PureScript.Kinds Methods parseJSON :: Value -> Parser (Kind SourceAnn) # parseJSONList :: Value -> Parser [Kind SourceAnn] #
FromJSON (Constraint SourceAnn) Source #
Instance details Defined in Language.PureScript.Types Methods parseJSON :: Value -> Parser (Constraint SourceAnn) # parseJSONList :: Value -> Parser [Constraint SourceAnn] #
FromJSON (Type SourceAnn) Source #
Instance details Defined in Language.PureScript.Types Methods parseJSON :: Value -> Parser (Type SourceAnn) # parseJSONList :: Value -> Parser [Type SourceAnn] #
type Rep SourceSpan Source #
Instance details Defined in Language.PureScript.AST.SourcePos type Rep SourceSpan = D1 (MetaData "SourceSpan" "Language.PureScript.AST.SourcePos" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

displayStartEndPosShort :: SourceSpan -> Text Source #

displaySourceSpan :: FilePath -> SourceSpan -> Text Source #

internalModuleSourceSpan :: String -> SourceSpan Source #

nullSourceSpan :: SourceSpan Source #

nullSourceAnn :: SourceAnn Source #

pattern NullSourceSpan :: SourceSpan Source #

pattern NullSourceAnn :: SourceAnn Source #

nonEmptySpan :: SourceAnn -> Maybe SourceSpan Source #

widenSourceSpan :: SourceSpan -> SourceSpan -> SourceSpan Source #

widenSourceAnn :: SourceAnn -> SourceAnn -> SourceAnn Source #