Language.Haskell.Liquid.GHC.SpanStack
Contents
data Span #
A single span
Constructors
binder for whom we are generating constraint
nearest known Source Span
Defined in Language.Haskell.Liquid.GHC.SpanStack
Methods
showsPrec :: Int -> Span -> ShowS #
show :: Span -> String #
showList :: [Span] -> ShowS #
data SpanStack #
Opaque type for a stack of spans
empty :: SpanStack #
push :: Span -> SpanStack -> SpanStack #
srcSpan :: SpanStack -> SrcSpan #
showSpan :: Show a => a -> SrcSpan #