search

turion / rhine

Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
123 stars 21 forks source link

Change FixedStep clocks to ScheduleT #73

Closed turion closed 11 months ago

turion commented 6 years ago

Right now we only have a deterministic schedule for two (atomic) FixedStep clocks clocks, i.e. not even for sequentially or parallelly composed ones. This suggests to let FixedStep have side effects in ScheduleT Int and take the schedule from there. This would mean changing the definitions of Millisecond possibly.

turion commented 6 years ago

An implementation of waitClock that schedules deterministically in ScheduleT is not so trivial. Possibly, we have to add another constructor to ScheduleT for measuring time.

turion commented 6 years ago

The Periodic clocks are already implemented with ScheduleT, so this is solved by reimplementing FixedStep in terms of Periodic. Still, Millisecond mustn't be broken by that.

turion commented 11 months ago

Invalid since https://github.com/turion/rhine/pull/171