Documentation

mkWwBodies :: DynFlags -> Type -> [Demand] -> DmdResult -> [Bool] -> UniqSM ([Demand], Id -> CoreExpr, CoreExpr -> CoreExpr)Source

mkWWstr :: DynFlags -> [Var] -> UniqSM ([Var], CoreExpr -> CoreExpr, CoreExpr -> CoreExpr)Source

mkWorkerArgs :: DynFlags -> [Var] -> Bool -> Type -> ([Var], [Var])Source

deepSplitProductType_maybe :: Type -> Maybe (DataCon, [Type], [Type], Coercion)Source