Nettle.FRPControl.AFRPUtils
Contents
Description
This module provides some utilities for writing drivers of signal functions.
Type-level lists
Value-level representation of type-level lists
Infix operator; synonymous with TCons.
Value level representation of type level lists.
Event-source vector
List of sensor channels
type family SensorChans t Source
Vector of Sensor channels of the right types
Output vector
List of actuator actions
Driver
Arguments
:: Rep s | Representation of the shape of the |
-> SensorChans s | Sensor channels |
-> Rep t | Representation of the shape of the actuator argument |
-> Actuators t | Actuators |
-> SF (SFInput s) (SFOutput t) | Signal function to drive |
-> IO () |
Drives signal functions with the given collection of sensor channels and actuator actions. It multiplexes the sensors into a single channel of events.