liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.SpanStack

Synopsis

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

Instances details
Show Span # 
Instance details

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 #