FRP.Rhine.Schedule.Trans

Universal schedule for the ScheduleT monad transformer

schedule :: (Monad m, Clock (ScheduleT (Diff (TimeDomainOf cl1)) m) cl1, Clock (ScheduleT (Diff (TimeDomainOf cl1)) m) cl2, TimeDomainOf cl1 ~ TimeDomainOf cl2, Ord (Diff (TimeDomainOf cl1)), Num (Diff (TimeDomainOf cl1))) => Schedule (ScheduleT (Diff (TimeDomainOf cl1)) m) cl1 cl2

Two clocks in the ScheduleT monad transformer can always be canonically scheduled. Indeed, this is the purpose for which ScheduleT was defined.