:: Name	Name of the resulting atom
-> E Word64	On time in ticks
-> E Word64	Off time in ticks
-> Bool	Initial value
-> E Bool	The boolean to debounce
-> Atom (E Bool)	Resulting debounced boolean

Debounces a boolean given an on and off time (ticks) and an initial state.

Lookup Tables

lookupTable Source

Arguments

:: FloatingE a
=> [(E a, E a)]	(`x`, `y`) lookup table
-> E a	Input `x` value
-> E a	Output `y` value

1-D lookup table. x values out of table range are clipped at end y values. Input table must be monotonically increasing in x.

linear Source

Arguments

:: FloatingE a
=> (E a, E a)	First point, (x1, y1)
-> (E a, E a)	Second point, (x2, y2)
-> E a	Input `x` value
-> E a	Interpolated/extrapolated `y` value

Linear extrapolation and interpolation on a line with 2 points. The two x points must be different to prevent a divide-by-zero.

Hysteresis

hysteresis Source

Arguments

:: OrdE a
=> E a	min
-> E a	max
-> E a	Input
-> Atom (E Bool)

Hysteresis returns True when the input exceeds max and False when the input is less than min. The state is held when the input is between min and max.

Channels

data Channel a Source

A channel is a uni-directional communication link that ensures one read for every write.

Constructors

Channel a (V Bool)

channel :: a -> Atom (Channel a) Source

Creates a new channel, with a given name and data.

writeChannel :: Channel a -> Atom () Source

Write data to a Channel. A write will only suceed if the Channel is empty.

readChannel :: Channel a -> Atom a Source

Read data from a Channel. A read will only suceed if the Channel has data to be read.