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