Dirac equation in Euclidean Newman–Penrose formalism with applications to instanton metrics