Language.Haskell.Liquid.Bare.Measure

makeHaskellMeasures

makeHaskellInlines

makeMeasureSpec

makeMeasureSpec'

makeClassMeasureSpec

makeMeasureSelectors

strengthenHaskellMeasures

varMeasures