RetroClash.Clock

Documentation

type HzToPeriod (rate :: Nat) = Seconds 1 `Div` rate

type Seconds (s :: Nat) = Milliseconds (1000 * s)

type Milliseconds (ms :: Nat) = Microseconds (1000 * ms)

type Microseconds (us :: Nat) = Nanoseconds (1000 * us)

type Nanoseconds (ns :: Nat) = Picoseconds (1000 * ns)

type Picoseconds (ps :: Nat) = ps

type ClockDivider dom ps = ps `Div` DomainPeriod dom

risePeriod :: forall ps dom. (HiddenClockResetEnable dom, _) => SNat ps -> Signal dom Bool

riseRate :: forall rate dom. (HiddenClockResetEnable dom, _) => SNat rate -> Signal dom Bool