Does anyone have a regex for Irish postcodes?

Communities Ireland
4

Please mark my answer as the solution, so others know that it has been solved. Thanks!