liquidhaskell-0.5.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Desugar.Desugar
Synopsis
deSugarWithLoc :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source
Main entry point to the desugarer.
deSugar :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source
deSugarExpr :: HscEnv -> LHsExpr Id -> IO (Messages, Maybe CoreExpr) Source