WwLib

Documentation

mkWwBodies :: DynFlags -> FamInstEnvs -> VarSet -> Id -> [Demand] -> DmdResult -> UniqSM (Maybe WwResult)

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

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

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

findTypeShape :: FamInstEnvs -> Type -> TypeShape

isWorkerSmallEnough :: DynFlags -> [Var] -> Bool