liquidhaskell-0.3.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar.Desugar

Synopsis

Documentation

deSugarWithLoc :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source

Main entry point to the desugarer.

deSugar :: HscEnv -> ModLocation -> TcGblEnv -> IO (Messages, Maybe ModGuts) Source

Main entry point to the desugarer.

deSugarExpr :: HscEnv -> LHsExpr Id -> IO (Messages, Maybe CoreExpr) Source