Documentation

We add a phantom parameter to indicate the type of the system

SysDef constructor

Builds a system definition out of a system function describing the system and its port identifers.

CURRENTLY BROKEN, do not use!

SysDef constructor, Template Haskell version

Builds a system definition out of a system function, a system identifiers and its port identifers.

For example $(newSysDefTH mySysFun "mysys" ["in1"] ["out1"]) creates a system definition from system funcion mySysFun which should have one input and output signals.

The advantage of newSysDefTH over newSysDef is that it reports errors (e.g duplicated port and process identifiers) earlier, at host-language (Haskell) compile-time.

In addition, due to the use of Template Haskell, newSysDefTH is aware of the source location at which it was called, making further error reports friendlier to the user.

SysDef constructor, Template Haskell Name version

Builds a SysDef out of the name of a system function and its port identifers.

The system will later be identified by the basename (i.e. unqualified name) of the function.

For example $(newSysDefTHName 'mySysFun ["in1"] ["out1"]) creates a system definition from system funcion mySysFun which has one input and output signals.

The advantage of newSysDefTHName over newSysDefTH is that it doesn't suffer from the Template Haskell bug http://hackage.haskell.org/trac/ghc/ticket/1800, or in other words, it allows to declare the system defintion and system function in the same module.

However, since it doesn't have acces to the system function itself, it can only give early error reports related to incorrect port identifiers (process identifier duplicate errors will be reported at runtime).

Class used to describe a System function. It uses the same trick as Printf to implement the variable number of arguments.

Multiparameter class to transform a System Function into a Simulation Function, able to simulate a System using a list-based representation of its signals.

Multiparameter class to transform a System Function into an IO Simulation Function, able to externally simulate a System using a list-based representation of its signals.

Generates an instance of a SysDef in the form of function out of the name of a SysDef with the same type as its system function. The resulting function can then be used to plug the instance to the rest of the system.