liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.Desugar.DsExpr

Documentation

dsExpr :: HsExpr Id -> DsM CoreExprSource

dsLExprWithLoc :: LHsExpr Id -> DsM CoreExprSource

dsLocalBinds :: HsLocalBinds Id -> CoreExpr -> DsM CoreExprSource

dsValBinds :: HsValBinds Id -> CoreExpr -> DsM CoreExprSource

dsLit :: HsLit -> DsM CoreExprSource