Language.Haskell.Liquid.Types.Errors

Generic Error Type

data TError t

Error with Source Context

data CtxError t

errorWithContext

Subtyping Obligation Type

data Oblig

Adding a Model of the context

data WithModel t

dropModel

Panic (unexpected failures)

type UserError

panic

panicDoc

todo

impossible

uError

Printing Errors

ppError

ppError'

SrcSpan Helpers

realSrcSpan

unpackRealSrcSpan