haskell-src-exts-1.1.4: Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer Contents Index

Language.Haskell.Exts.Annotated.SrcLoc

Synopsis

data SrcLoc = SrcLoc { srcFilename :: String srcLine :: Int srcColumn :: Int } data SrcSpan = SrcSpan { srcSpanFilename :: String srcSpanStartLine :: Int srcSpanStartColumn :: Int srcSpanEndLine :: Int srcSpanEndColumn :: Int } mkSrcSpan :: SrcLoc -> SrcLoc -> SrcSpan mergeSrcSpan :: SrcSpan -> SrcSpan -> SrcSpan data Loc a = Loc { loc :: SrcSpan unLoc :: a } data SrcSpanInfo = SrcSpanInfo { srcInfoSpan :: SrcSpan srcInfoPoints :: [SrcSpan] } noInfoSpan :: SrcSpan -> SrcSpanInfo nIS :: SrcSpan -> SrcSpanInfo pointInfoSpan :: SrcSpan -> SrcSpanInfo pIS :: SrcSpan -> SrcSpanInfo infoSpan :: SrcSpan -> [SrcSpan] -> SrcSpanInfo iS :: SrcSpan -> [SrcSpan] -> SrcSpanInfo combSpanInfo :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo (<++>) :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo (<+?>) :: SrcSpanInfo -> Maybe SrcSpanInfo -> SrcSpanInfo (<?+>) :: Maybe SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo (<**) :: SrcSpanInfo -> [SrcSpan] -> SrcSpanInfo (<^^>) :: SrcSpan -> SrcSpan -> SrcSpanInfo class SrcInfo si where toSrcInfo :: SrcLoc -> [SrcSpan] -> SrcLoc -> si fromSrcInfo :: SrcSpanInfo -> si getPointLoc :: si -> SrcLoc fileName :: si -> String startLine :: si -> Int startColumn :: si -> Int

Documentation

data SrcLoc

A single position in the source. Constructors SrcLoc srcFilename :: String srcLine :: Int srcColumn :: Int Instances Eq SrcLoc Data SrcLoc Ord SrcLoc Show SrcLoc Typeable SrcLoc SrcInfo SrcLoc Pretty SrcLoc

data SrcSpan

A portion of the source, spanning one or more lines and zero or more columns. Constructors SrcSpan srcSpanFilename :: String srcSpanStartLine :: Int srcSpanStartColumn :: Int srcSpanEndLine :: Int srcSpanEndColumn :: Int Instances Eq SrcSpan Data SrcSpan Ord SrcSpan Show SrcSpan Typeable SrcSpan SrcInfo SrcSpan

mkSrcSpan :: SrcLoc -> SrcLoc -> SrcSpan

Combine two locations in the source to denote a span.

mergeSrcSpan :: SrcSpan -> SrcSpan -> SrcSpan

Merge two source spans into a single span from the start of the first to the end of the second. Assumes that the two spans are given in the order they appear in the source.

data Loc a

An entity located in the source. Constructors Loc loc :: SrcSpan unLoc :: a Instances Eq a => Eq (Loc a) Ord a => Ord (Loc a) Show a => Show (Loc a)

data SrcSpanInfo

A portion of the source, extended with information on the position of entities within the span. Constructors SrcSpanInfo srcInfoSpan :: SrcSpan srcInfoPoints :: [SrcSpan] Instances Eq SrcSpanInfo Data SrcSpanInfo Ord SrcSpanInfo Show SrcSpanInfo Typeable SrcSpanInfo SrcInfo SrcSpanInfo

noInfoSpan :: SrcSpan -> SrcSpanInfo

nIS :: SrcSpan -> SrcSpanInfo

pointInfoSpan :: SrcSpan -> SrcSpanInfo

pIS :: SrcSpan -> SrcSpanInfo

infoSpan :: SrcSpan -> [SrcSpan] -> SrcSpanInfo

iS :: SrcSpan -> [SrcSpan] -> SrcSpanInfo

combSpanInfo :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<++>) :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<+?>) :: SrcSpanInfo -> Maybe SrcSpanInfo -> SrcSpanInfo

(<?+>) :: Maybe SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo

(<**) :: SrcSpanInfo -> [SrcSpan] -> SrcSpanInfo

(<^^>) :: SrcSpan -> SrcSpan -> SrcSpanInfo

class SrcInfo si where

Methods toSrcInfo :: SrcLoc -> [SrcSpan] -> SrcLoc -> si fromSrcInfo :: SrcSpanInfo -> si getPointLoc :: si -> SrcLoc fileName :: si -> String startLine :: si -> Int startColumn :: si -> Int Instances SrcInfo SrcSpanInfo SrcInfo SrcSpan SrcInfo SrcLoc

Produced by Haddock version 2.4.2