liquidhaskell-0.4.1.1: 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