liquidtypes-0.1: Liquid Types for Haskell
Language.Haskell.Liquid.Desugar.DsBinds
dsTopLHsBinds :: LHsBinds Id -> DsM (OrdList (Id, CoreExpr))Source
dsLHsBinds :: LHsBinds Id -> DsM [(Id, CoreExpr)]Source
decomposeRuleLhs :: [Var] -> CoreExpr -> Either SDoc ([Var], Id, [CoreExpr])Source
dsSpec :: Maybe CoreExpr -> Located TcSpecPrag -> DsM (Maybe (OrdList (Id, CoreExpr), CoreRule))Source
dsHsWrapper :: HsWrapper -> CoreExpr -> CoreExprSource
dsTcEvBinds :: TcEvBinds -> [CoreBind]Source
dsEvBinds :: Bag EvBind -> [CoreBind]Source
dsTcCoercion :: TcCoercion -> (Coercion -> CoreExpr) -> CoreExprSource