I think that there are two ways to do it.
1) Run the pump on low continuously at night and have the pump speed increase during heating.
2) Set a couple of timers to run the pump for 10 minutes at maybe 2 hour intervals and have the pump increase speed if the heater turns on.
For example, set timers from 12:00 am to 12:10 am, 2:00 am to 2:10 am, 4:00 am to 4:10 am etc.
That way you get the sampling times you want. If the heater turns on, the pump speed will increase until the heating demand is satisfied and then the pump will turn off.
If the heater does not turn on, the pump will follow the schedule and turn off after 10 minutes.
The timer has to run the pump longer than the priming time because the heater won't turn on while the pump is in priming mode.
There also might be a delay from pump on time until the heater will start. This is to allow the system to prime and to allow the water temperature sensor to reach equilibrium with the pool water.
You can set the pump priming time and speed or even turn off priming.
Some pumps don't need priming or just minimal priming of 1 minute at only slightly higher speed than operational speed.
It doesn't really cost anything significant to run at 1,200 rpm. And it's super quiet. So, running continuously isn't a problem.
It is just not cost effective to have it recover 5 degrees every morning.
It does not cost more to recover 5 degrees during the day vs keeping the temperature up at night.
In fact, it costs more to keep it heated.
Heat loss depends on water temperature, warmer water loses more heat than cooler water. So, recovering temperature always uses less energy than maintaining temperature.
Also, a heat pump is more effective and efficient during the day due to more available heat.
The main downside is that the water might be too cold when you want to swim.
If you swim in the morning and want the temperature up, then heating at night is necessary.
However, if you only swim after the heater has enough time to recover the set temperature, you're better off heating during the day.