Language.Haskell.Liquid.Bare.Measure

makeHaskellMeasures

makeHaskellInlines

makeHaskellBounds

makeMeasureSpec

makeMeasureSpec'

makeClassMeasureSpec

makeMeasureSelectors

strengthenHaskellMeasures

varMeasures