rhine-0.6.0: Functional Reactive Programming with type-level clocks

FRP.Rhine.Type

Description

The type of a complete Rhine program: A signal network together with a matching clock value.

Synopsis

# Documentation

data Rhine m cl a b Source #

A Rhine consists of a SN together with a clock of matching type cl. It is a reactive program, possibly with open inputs and outputs. If the input and output types a and b are both '()', that is, the Rhine is "closed", then it is a standalone reactive program that can be run with the function flow.

Constructors

 Rhine Fieldssn :: SN m cl a b clock :: cl