| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.AST.SourcePos
Description
Source position information
Synopsis
- type SourceAnn = (SourceSpan, [Comment])
- data SourcePos = SourcePos {}
- displaySourcePos :: SourcePos -> Text
- displaySourcePosShort :: SourcePos -> Text
- data SourceSpan = SourceSpan {}
- 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 annotation - position information and comments.
Source position information
Constructors
| SourcePos | |
Fields
| |
Instances
displaySourcePos :: SourcePos -> Text #
displaySourcePosShort :: SourcePos -> Text #
data SourceSpan #
Constructors
| SourceSpan | |
Instances
| FromJSON SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos | |||||
| ToJSON SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos Methods toJSON :: SourceSpan -> Value # toEncoding :: SourceSpan -> Encoding # toJSONList :: [SourceSpan] -> Value # toEncodingList :: [SourceSpan] -> Encoding # omitField :: SourceSpan -> Bool # | |||||
| NFData SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos Methods rnf :: SourceSpan -> () # | |||||
| Generic SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos Associated Types
| |||||
| Show SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos Methods showsPrec :: Int -> SourceSpan -> ShowS # show :: SourceSpan -> String # showList :: [SourceSpan] -> ShowS # | |||||
| Eq SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos | |||||
| 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 # | |||||
| Serialise SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos Methods encode :: SourceSpan -> Encoding # decode :: Decoder s SourceSpan # encodeList :: [SourceSpan] -> Encoding # decodeList :: Decoder s [SourceSpan] # | |||||
| FromJSON (Constraint SourceAnn) # | |||||
Defined in Language.PureScript.Types Methods parseJSON :: Value -> Parser (Constraint SourceAnn) # parseJSONList :: Value -> Parser [Constraint SourceAnn] # | |||||
| FromJSON (Type SourceAnn) # | |||||
| type Rep SourceSpan # | |||||
Defined in Language.PureScript.AST.SourcePos type Rep SourceSpan = D1 ('MetaData "SourceSpan" "Language.PureScript.AST.SourcePos" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 #
displaySourceSpan :: FilePath -> SourceSpan -> Text #
pattern NullSourceSpan :: SourceSpan #
pattern NullSourceAnn :: SourceAnn #
nonEmptySpan :: SourceAnn -> Maybe SourceSpan #
widenSourceSpan :: SourceSpan -> SourceSpan -> SourceSpan #
widenSourceAnn :: SourceAnn -> SourceAnn -> SourceAnn #