Documentation

mkWwBodies :: DynFlags -> FamInstEnvs -> VarSet -> Type -> [Demand] -> DmdResult -> [OneShotInfo] -> UniqSM (Maybe WwResult) 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 #

findTypeShape :: FamInstEnvs -> Type -> TypeShape Source #