Language.Haskell.Liquid.PredType

type PrType

data TyConP

data DataConP

dataConTy

dataConPSpecType

makeTyConInfo

unify

replacePreds

replacePredsWithRefs

pVartoRConc

Compute Type of GHC CoreExpr

exprType

Dummy Type that represents _all_ abstract-predicates

predType

Compute RType of a given PVar

pvarRType

substParg

pApp

wiredSortedSyms