Documentation

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

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

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

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