Language.Haskell.Liquid.GHC.SpanStack

Stack of positions

data Span

A single span

Constructors

Var !Var

binder for whom we are generating constraint

Tick !(Tickish Var)

nearest known Source Span

Span SrcSpan

Instances

Show 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

Creating Stacks

empty :: SpanStack

push :: Span -> SpanStack -> SpanStack

Using Stacks

srcSpan :: SpanStack -> SrcSpan

Creating general spans

showSpan :: Show a => a -> SrcSpan