Documentation

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 -> DsM CoreExpr Source

dsTcEvBinds :: TcEvBinds -> DsM [CoreBind] Source

dsEvBinds :: Bag EvBind -> DsM [CoreBind] Source