Získání všech ID z tabulky jako obyčejné pole intů

Ahoj kamarádi,

dovoluji si obrátit se na Vás s drobnou prosbou viz nadpis mé otázky. Jde to nějak snadněji, než takto?

$ids = array_values(Arrays::Map($this->database->table('users')->select("id")->fetchAll(), function($user) {
	return $user->id;
}));

Rád bych dostal pole ID-ček všech uživatelů ve formátu [12, 4, 8, 9, 10, 100]. Předem moc děkuji, pokud by někdo znal elegantnější řešení ❤️