pull down to refresh

It's basically on feel. If I wake up feeling refreshed and wasn't awake through much of the night, I call it good sleep.
I usually get up early, when I first wake up, rather than trying to get more sleep. That's one reason my sleep is often lacking.