DsExpr.hs-boot

module Language.Haskell.Liquid.Desugar.DsExpr where
import HsSyn    ( HsExpr, LHsExpr, LHsLocalBinds, SyntaxExpr )
import Var      ( Id )
import Language.Haskell.Liquid.Desugar.DsMonad  ( DsM )
import CoreSyn  ( CoreExpr )

dsExpr  :: HsExpr  Id -> DsM CoreExpr
dsLExpr, dsLExprNoLP :: LHsExpr Id -> DsM CoreExpr
dsSyntaxExpr :: SyntaxExpr Id -> [CoreExpr] -> DsM CoreExpr
dsLocalBinds :: LHsLocalBinds Id -> CoreExpr -> DsM CoreExpr