rhine-0.1.0.0: Functional Reactive Programming with type-level clocks

Safe HaskellNone
LanguageHaskell2010

FRP.Rhine.Schedule.Trans

Contents

Synopsis

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 Source #

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