rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellSafe
LanguageHaskell2010

ReWire.HSE.SrcLoc

Description

The boundary between haskell-src-exts source locations and ReWire's native Annote/Span. It lives in the HSE layer so the base annotation module (ReWire.Annotation) and the diagnostics renderer (ReWire.Error) carry no haskell-src-exts dependency: only modules that actually manipulate the haskell-src-exts AST import this conversion glue.

Orphan instances

SrcInfo Annote Source # 
Instance details

Methods

toSrcInfo :: SrcLoc -> [SrcSpan] -> SrcLoc -> Annote

fromSrcInfo :: SrcSpanInfo -> Annote

getPointLoc :: Annote -> SrcLoc

fileName :: Annote -> String

startLine :: Annote -> Int

startColumn :: Annote -> Int

Annotation SrcLoc Source # 
Instance details

Methods

toAnnote :: SrcLoc -> Annote #

Annotation SrcSpanInfo Source #

Build an annotation from a haskell-src-exts source span.

Instance details

Methods

toAnnote :: SrcSpanInfo -> Annote #