Documentation

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

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

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

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

findTypeShape :: FamInstEnvs -> Type -> TypeShape #

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