Language.Haskell.Liquid.Types
data Config
class HasConfig t
data GhcInfo
data GhcSpec
data TargetVars
data Located a
type LocSymbol
type LocText
data BTyCon
data BTyVar
data RTyCon
data TyConInfo
data RType c tv r
data Ref τ t
type RTProp c tv r
data RTyVar
data RTAlias x a
type OkRT c tv r
data HSeg t
data World t
RTypesclass TyConable c
class SubsTy tv ty a
data RTVar tv s
data RTVInfo s
data PVar t
data PVKind t
data Predicate
data UReft r
data SizeFun
data DataDecl
data DataConP
data TyConP
type RRType
type RRProp r
type BRType
type BRProp r
type BSort
type BPVar
type RTVU c tv
type PVU c tv
type BareType
type PrType
type SpecType
type SpecProp
type LocBareType
type LocSpecType
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
data RISig t
class UReftable r
data Axiom b s e
type HAxiom
data AxiomEq