Language.Haskell.Liquid.Bare.Spec

makeClasses

makeQualifiers

makeHints

makeLVar

makeLazy

makeAutoInsts

makeDefs

makeHMeas

makeHInlines

makeTExpr

makeTargetVars

makeAssertSpec

makeAssumeSpec

makeDefaultMethods

makeIAliases

makeInvariants

makeNewTypes

makeSpecDictionaries

makeBounds

makeHBounds

lookupIds