liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.SpanStack

Synopsis

Stack of positions

data Span Source #

A single span

Constructors

Var !Var

binder for whom we are generating constraint

Tick !(Tickish Var)

nearest known Source Span

Span SrcSpan 

Instances

Instances details
Show Span Source # 
Instance details

Defined in Language.Haskell.Liquid.GHC.SpanStack

Methods

showsPrec :: Int -> Span -> ShowS #

show :: Span -> String #

showList :: [Span] -> ShowS #

data SpanStack Source #

Opaque type for a stack of spans

Creating Stacks

empty :: SpanStack Source #

push :: Span -> SpanStack -> SpanStack Source #

Using Stacks

srcSpan :: SpanStack -> SrcSpan Source #

Creating general spans

showSpan :: Show a => a -> SrcSpan Source #