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

Safe Haskell	None
Language	Haskell2010

FRP.Rhine.Schedule.Trans

Contents

Universal schedule for the ScheduleT monad transformer

Description

Clocks implemented in the ScheduleT monad transformer can always be scheduled (by construction).

Synopsis

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

Universal schedule for the `ScheduleT` monad transformer

schedule :: (Monad m, Clock (ScheduleT (Diff (Time cl1)) m) cl1, Clock (ScheduleT (Diff (Time cl1)) m) cl2, Time cl1 ~ Time cl2, Ord (Diff (Time cl1)), Num (Diff (Time cl1))) => Schedule (ScheduleT (Diff (Time 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.