def ticks

bend-kit-scheduler@0.4.1.0 · recurrence.bend:25

import Base

25# Generate only the bounded replay prefix, never the skipped remainder.
26def ticks(count: Nat, +previous: Nat, +period: Nat) -> List<&2, Nat>:
27  match count:
28    case 0n:
29      Nil{}
30    case 1n+n:
31      +deadline = Nat.add(previous, period)
32      Con{deadline, ticks(n, deadline, period)}