Language.Haskell.Liquid.Types
data Config
data GhcInfo
data GhcSpec
data TargetVars
data Located a
type LocSymbol
type LocText
data RTyCon
data TyConInfo
data RType p c tv r
data Ref τ r t
type RTProp p c tv r
data RTyVar
data RTAlias tv ty
data HSeg t
data World t
RTypes class TyConable c
class RefTypable p c tv r
class SubsTy tv ty a
data PVar t
data PVKind t
data Predicate
data UReft r
data DataDecl
data DataConP
data TyConP
type RRType
type BRType
type RRProp r
type BSort
type BPVar
type BareType
type PrType
type SpecType
type SpecProp
type RSort
type UsedPVar
type RPVar
type RReft
data REnv
data RTypeRep p c tv r
PredicatesRType data Oblig
data AnnInfo a
data Annot t
data Output a
class PPrint a
data PPEnv
data Tidy
data ModName
data ModType
data RTEnv
type RTBareOrSpec
class Result a
type Error
data TError t
data EMsg
type ErrorResult
data Cinfo
data Measure ty ctor
data CMeasure ty
data Def ctor
data Body
data RClass ty
data KVKind
data KVProf
data Stratum
type Strata