Documentation

dsTopLHsBinds :: LHsBinds Id -> DsM (OrdList (Id, CoreExpr))

dsLHsBinds :: LHsBinds Id -> DsM [(Id, CoreExpr)]

decomposeRuleLhs :: [Var] -> CoreExpr -> Either SDoc ([Var], Id, [CoreExpr])

dsSpec :: Maybe CoreExpr -> Located TcSpecPrag -> DsM (Maybe (OrdList (Id, CoreExpr), CoreRule))

dsHsWrapper :: HsWrapper -> CoreExpr -> CoreExpr

dsTcEvBinds :: TcEvBinds -> [CoreBind]

dsEvBinds :: Bag EvBind -> [CoreBind]

dsTcCoercion :: TcCoercion -> (Coercion -> CoreExpr) -> CoreExpr