packages feed

liquidhaskell-0.2.0.0: src/Language/Haskell/Liquid/Desugar/DsExpr.lhs-boot

\begin{code}
module Language.Haskell.Liquid.Desugar.DsExpr where
import HsSyn    ( HsExpr, LHsExpr, HsLocalBinds )
import Var      ( Id )
import DsMonad  ( DsM )
import CoreSyn  ( CoreExpr )

dsExpr  :: HsExpr  Id -> DsM CoreExpr
dsLExpr :: LHsExpr Id -> DsM CoreExpr
dsLocalBinds :: HsLocalBinds Id -> CoreExpr -> DsM CoreExpr
\end{code}