Interface.TV

Package up the various TV modules into one. Also re-exports DeepArrow modules.

Documentation

Inputs -- means of obtaining values

module Interface.TV.Input

Outputs (interfaces) -- means of presenting values.

module Interface.TV.Output

Tangible values -- interface (output) and value, combined & separable

module Interface.TV.Tangible

Output transformations, as a deep arrow.

module Interface.TV.OFun

Some common interaction vocabulary

module Interface.TV.Common

Default inputs & outputs

module Interface.TV.Defaults

Support for IO-based TVs

module Interface.TV.IO