liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.GHC.SpanStack

Contents

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

Instances

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