Language.Haskell.Liquid.Types
data Config
class HasConfig t
data GhcInfo
data GhcSpec
data TargetVars
data Located a
type LocSymbol
type LocText
data RTyCon
data TyConInfo
data RType c tv r
data Ref τ t
type RTProp c tv r
data RTyVar
data RTAlias tv ty
data HSeg t
data World t
RTypesclass TyConable c
class RefTypable 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 c tv r
PredicatesRTypedata Oblig
data AnnInfo a
data Annot t
data Output a
class PPrint a
data PPEnv
data ModName
data ModType
data RTEnv
type Error
type ErrorResult
data Cinfo
data Measure ty ctor
data CMeasure ty
data Def ty ctor
data Body
data MSpec ty ctor
data RClass ty
data KVKind
data KVProf
data Stratum
type Strata
data LogicMap
data LMap
type RDEnv
data DEnv x ty
data RInstance t
class UReftable r
data Axiom b s e
type HAxiom
type LAxiom