Nettle.FRPControl.AFRPUtils

This module provides some utilities for writing drivers of signal functions.

Type-level lists

data Nil

Empty list.

data x ::: xs

Cons list

Value-level representation of type-level lists

data Rep a where

Infix operator; synonymous with TCons.

Value level representation of type level lists.

Constructors

RNil :: Rep Nil

RCons :: Rep b -> Rep (a ::: b)

Event-source vector

type family SFInput t

Input types for each heterogeneous type list.

List of sensor channels

type family SensorChans t

Vector of Sensor channels of the right types

Output vector

type family SFOutput t

Output type for each heterogeneous list

List of actuator actions

type family Actuators t

Driver

sfDriver

Arguments

:: Rep s

Representation of the shape of the SensorChans argument

-> 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.