I suddenly discovered that all I had on iReal Pro was the current song I was using. All the playlists had vanished. I got them back by going to the left-hand side of the screen and noticing that there were two edges to the screen very close together. By carefully moving the edge on the right, I miraculously got everything back – hooray!
PS it did however take me a good 30 minutes to discover the process.