The irreducible case of categorical local Langlands for GL_n