liquidhaskell-0.6.0.0: 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
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