Language.Haskell.Liquid.RefType

Functions for lifting Reft-values to Spec-values

uTop

uReft

uRType

uRType'

uRTypeGen

uPVar

Applying a solution to a SpecType

applySolution

Functions for decreasing arguments

isDecreasing

makeDecrType

makeLexRefa

Functions for manipulating Predicates

pdVar

findPVar

freeTyVars

tyClasses

tyConName

ofType

toType

rTyVar

rVar

rApp

rEx

addTyConInfo

appRTyCon

typeSort

typeUniqueSymbol

strengthen

generalize

normalizePds

subts

subvPredicate

subvUReft

subsTyVar_meet

subsTyVars_meet

subsTyVar_nomeet

subsTyVars_nomeet

dataConSymbol

dataConMsReft

dataConReft

literalFRefType

literalFReft

literalConst

classBinds

Manipulating Refinements in RTypes

rTypeSortedReft

rTypeSort

shiftVV

mkDataConIdsTy

mkTyConInfo