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

Safe Haskell	Safe-Inferred
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.